Home
People
Research
Publications
Tools
Teaching
Outreach
Contact
Light
Dark
Automatic
Wendy Belluomini
IBM, Director of AI and Cognitive Software
University of Utah
Interests
Asynchronous Circuit Design
AI
Education
PhD in Computer Science, 1999
University of Utah
Contributed To
Asynchronous Circuit Design and Verification
ATACS
Publications
Timed circuits: a new paradigm for high-speed design
Algorithms for Synthesis and Verification of Timed Circuits and Systems
Verification of timed systems using POSETs
Timed Event/Level Structures
Cite
×
