'Acl2 theorem prover' diaporamas de présentation

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

658 views • 30 slides