Communications of the ACM
Formal program transformations for VLSI circuit synthesis
Formal development programs and proofs
The design of an asynchronous microprocessor
Proceedings of the decennial Caltech conference on VLSI on Advanced research in VLSI
Integration, the VLSI Journal
Single-track asynchronous pipeline controller design
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
A low-power globally synchronous locally asynchronous FFT processor
HPCC'07 Proceedings of the Third international conference on High Performance Computing and Communications
An infrastructure for accurate characterization of single-event transients in digital circuits
Microprocessors & Microsystems
Hi-index | 0.00 |