Home
People
Research
Publications
Tools
Teaching
Outreach
Contact
Light
Dark
Automatic
Wendy Belluomini
IBM, Director of AI and Cognitive Software
University of Utah
Utah U
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
×
