R. Auletta

University of Colorado Denver — United States

Computer Science · Physical Sciences

4h-index25citations13works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(4), Embedded Systems Design Techniques(4), VLSI and Analog Circuit Testing(4), Low-power high-performance VLSI design(2), Radiation Effects in Electronics(2)

Publications13 total

Asic Cad Applications And Algorithms
2005
Behavioral Synthesis
2005
Expert system perimeter block placement floorplanning
Design, Automation, and Test in Europe·2004· 4 cited
Synthesized self-timed synchronous systems
2003· 4 cited
Improving FSMD design assurance
2002· 1 cited
Rapid-prototyping of high-assurance systems
2002· 5 cited
A comparison of synchronous and asynchronous FSMD designs
2002· 9 cited
An electro-optical standard-cell for ASIC design
2002
Rapid-prototyping of a cellular processor
2002· 1 cited
Microelectronic systems education at an urban non-residential campus
2002
EDA based digital design on non-residential campuses
2002· 1 cited
Physical Design
International Conference on ASIC·1999
Register/ file/ cache microarchitecture study using VHDL
1991

Frequent Co-authors

C. Traver(2), Bob Reese(1), V. Amla(1), S. Seyfou(1), Mely Chen(1), Samarina Makhdoom(1), Daniel Tabak(1)