publication venue for
- Synthesis of Application-Specific Fault-Tolerant Digital Microfluidic Biochip Architectures 2016
- Large-Scale Energy Storage System Design and Optimization for Emerging Electric-Drive Vehicles 2013
- Using Abstraction to Guide the Search for Long Error Traces 2013
- Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets 2011
- Making Deduction More Effective in SAT Solvers 2010
- Synthesis of timed circuits based on decomposition 2007
- Efficient verification of hazard-freedom in gate-level timed asynchronous circuits 2007
- Improving Ariadne's bundle by following multiple threads in abstraction refinement 2006
- Verification of timed circuits with failure-directed abstractions 2006
- An error control method for application of the discrete cosine transform to extraction of substrate parasitics in ICs 2005
- Modular verification of timed circuits using automatic abstraction 2003
- Efficient algorithms for exact two-level hazard-free logic minimization 2002
- Direct synthesis of timed circuits from free-choice STGs 2002
- Timed circuit verification using TEL structures 2001
- Using lower bounds during dynamic BDD minimization 2001
- Fundamental CAD algorithms 2000
- Linear sifting of decision diagrams and its application in synthesis 2000
- Timed state space exploration using POSET's 2000
- POSET timing and its application to the synthesis and verification of gate-level timed circuits 1999
- High-level power modeling, estimation, and optimization 1998
- Covering conditions and algorithms for the synthesis of speed-independent circuits 1998
- Formal verification of digital systems by automatic reduction of data paths 1997
- Symbolic timing analysis and resynthesis for low power of combinational circuits containing false paths 1997
- Algorithms for approximate FSM traversal based on state space decomposition 1996
- Automatic state space decomposition for approximate FSM traversal based on circuit analysis 1996
- Markovian analysis of large finite state machines 1996
- DONT CARE SEQUENCES AND THE OPTIMIZATION OF INTERACTING FINITE-STATE MACHINES 1994
- EXACT AND HEURISTIC ALGORITHMS FOR THE MINIMIZATION OF INCOMPLETELY SPECIFIED STATE MACHINES 1994
- REDUNDANCY IDENTIFICATION REMOVAL AND TEST-GENERATION FOR SEQUENTIAL-CIRCUITS USING IMPLICIT STATE ENUMERATION 1993
- SPECIAL ISSUE ON HICCS89 1991
- MOZART: a concurrent multilevel simulator 1988
- Advances in Concurrent Multilevel Simulation 1987
- Fast and Coherent Simulation with Zero Delay Elements 1987
- PART: Programmable Array Testing Based on a Partitioning Algorithm 1984
- A Study of Variance Reduction Techniques for Estimating Circuit Yields 1983
- Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods 2008
- Extraction of parasitics in inhomogeneous substrates with a new Green function-based method 2005