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



A clinical trial comparing parenteral oxytetracyline and enrofloxacin on time to recovery in sheep lame with acute or chronic footrot in Kashmir, India

Abstract Background No clinical trials have been conducted in India on the efficacy of parenteral antibacterials to treat footrot in sheep.In addition, there are no studies worldwide on the efficacy of parenteral antibacterials to treat chronic footrot.Sixty two sheep with acute footrot and 30 sheep with chronic footrot from 7 villages in Kashmir,

read more

Application of the multi-field coupling enhanced heat transfer principle to the engine compartment design of clean gas bus

Clean gas engines, such as liquefied petroleum gas (LPG) engines, have high thermal loads on parts under equivalent specific combustion.This study examines the multi-field coupling enhanced heat transfer principle and its applications to the engine compartment of a typical LPG city bus.The field synergy enhanced heat transfer principle (FSP) was ap

read more