USING ACL2 TO VERIFY LOOP PIPELINING IN BEHAVIORAL SYNTHESIS

Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis

Behavioral synthesis involves compiling an Electronic System-Level (ESL) design into its Register-Transfer Level (RTL) implementation.Loop pipelining is one of the most critical and complex transformations employed in behavioral synthesis.Certifying the loop pipelining algorithm is challenging because there is a huge semantic gap between the input

read more


Giving good directions: order of mention reflects visual salience

In complex stimuli, there are many different possible Pendant ways to refer to a specified target.Previousstudies have shown that when people are faced with such a task, the content of their referringexpression reflects visual properties such as size, salience and clutter.Here, we extend thesefindings and present evidence that (i) the influence of

read more

Checkpoint inhibition in hematologic malignancies

Checkpoint inhibitor therapy has emerged as an effective therapeutic strategy for many types of malignancies, especially in solid tumors.Within the last two decades, numerous monoclonal antibody drugs targeting the CTLA-4 and PD-1/PD-L1 checkpoint pathways have seen FDA approval.Within hematologic malignancies, Hodgkin Lymphoma has seen the greates

read more

A Review on Canine and Feline Prostate Pathology

Prostatic diseases are very common in male dogs, accounting for 3–10% of cases submitted to the veterinary practitioners.Commonly reported canine prostatic disorders include prostatic hyperplasia, prostatitis, prostatic cysts and prostatic carcinoma.However, clinical signs may be non-specific, or many cases are asymptomatic, thus leading to a Eas

read more