Search

C. Myers

Approximation techniques for stochastic analysis of biological systems
A new assertion property language for analog/mixed-signal circuits
Efficient Analysis Methods in Synthetic Biology
The Synthetic Biology Open Language
QDI logic for signaling data validity in bundled-data design: a kogge-stone case study
Scheduling Methods for Asynchronous Circuits with Bundled-Data Implementations Based on the Approximation of Start Times
The case for analog circuit verification
A Scheduling Method for Asynchronous Bundled-Data Implementations Based on The Completion of Data Operations
High level synthesis of timed asynchronous circuits
Synthesis of speed independent circuits based on decomposition
CMOS analog MAP decoder for (8,4) Hamming code
Modular verification of timed circuits using automatic abstraction
Level oriented formal model for asynchronous circuit verification and its efficient analysis method
Analog decoding of product codes
2001 Conference on Advanced Research in VLSI
Efficient exact two-level hazard-free logic minimization
Achieving fast and exact hazard-free logic minimization of extended burst-mode gC finite state machines
RAPPID: an asynchronous instruction length decoder
Machine analysis and data coding of the Qing imperial lineage (in Chinese)
Synthesis of timed asynchronous circuits

Published with Wowchemy — the free, open source website builder that empowers creators.