Title :
Table of contents
Abstract :
The following topics were dealt with: trusted hardware; system level methods; formal and semi-formal verification techniques; leakage power analysis and optimisation; on-chip communication networks; signal and power delivery integrity; embedded systems; statistical techniques for timing analysis and design; distributed computing; FPGA; automotive industry; power-aware testing; synthetic biology; and resource allocation.
Keywords :
automotive electronics; biocomputing; distributed algorithms; embedded systems; field programmable gate arrays; formal verification; optimisation; power system faults; resource allocation; FPGA; automotive industry; distributed computing; embedded systems; formal verification; leakage power analysis; on-chip communication networks; optimisation; power delivery integrity; power-aware testing; resource allocation; semiformal verification; signal integrity; statistical techniques; synthetic biology; system level methods; timing analysis; trusted hardware;
Conference_Titel :
Design Automation Conference, 2007. DAC '07. 44th ACM/IEEE
Conference_Location :
San Diego, CA
Print_ISBN :
978-1-59593-627-1
