'Acl2 theorem prover' presentation slideshows

Automatic Insertion of Low Power Annotations in RTL for Pipelined Microprocessors

Automatic Insertion of Low Power Annotations in RTL for Pipelined Microprocessors . Vinod Viswanath The University of Texas at Austin. Outline. Power Dissipation in Hardware Circuits Instruction-driven Slicing to attain lower power dissipation

665 views • 30 slides