引用次数
引用: 4,053
H-指数: 25
I10-指数 : 28
出版物: 46
Delay-Insensitive Carry-Lookahead Adders
Fu-Chiung Cheng Stephen H Unger , Michael Theobald Wen-Chung Cho
Manoj Kumar, Sandeep K. Aryaand Sujata Pandey “Single bit full adder design using 8
3
1997
MINIMALIST: An Environment for the Synthesis, Verification and Testability of Burst-Mode Asynchronous Machines
Robert M. Fuhrer , Steven M. Nowick , Luis Plana , Michael Theobald
Department of Computer Science, Columbia University
66
1999
Generalized latency-insensitive systems for single-clock and multi-clock architectures
Michael Theobald , Montek Singh
design, automation, and test in europe 2 21008
52
2004
Proof-guided underapproximation-widening for multi-process systems
Orna Grumberg , Flavio Lerda , Ofer Strichman , Michael Theobald
symposium on principles of programming languages 40 ( 1) 122 -131
68
2005
Symbolic Model Checking of Software
Flavio Lerda , Nishant Sinha , Michael Theobald
Electronic Notes in Theoretical Computer Science 89 ( 3) 480 -498
29
2003
On the Expressive Power of OKFDDs
Bernd Becker , Rolf Drechsler , Michael Theobald
formal methods 11 ( 1) 5 -21
10
1997
Espresso-HF: a heuristic hazard-free minimizer for two-level logic
Michael Theobald , Steven M. Nowick , Tao Wu
design automation conference 71 -76
18
1996
Hierarchical simulation-based verification of Anton, a special-purpose parallel machine
J.P. Grossman , John K. Salmon , C. Richard Ho , Douglas J. Ierardi
international conference on computer design 340 -347
6
2008
Synthesis of low-power asynchronous circuits in a specified environment
Steven M. Nowick , Michael Theobald
international symposium on low power electronics and design 92 -95
3
1997
Anton 2: raising the bar for performance and programmability in a special-purpose molecular dynamics supercomputer
David E. Shaw , J.P. Grossman , Joseph A. Bank , Brannon Batson
ieee international conference on high performance computing data and analytics 41 -53
579
2014
Verification of hybrid systems based on counterexample-guided abstraction refinement
Edmund Clarke , Ansgar Fehnker , Zhi Han , Bruce Krogh
tools and algorithms for construction and analysis of systems 192 -207
91
2003
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
Edmund Clarke , Ansgar Fehnker , Zhi Han , Bruce Krogh
International Journal of Foundations of Computer Science 14 ( 4) 583 -604
249
2003
Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems
Sandeep K. Shukla , Michael Theobald
formal methods 28 ( 2) 91 -92
4
2006
Transformations for the synthesis and optimization of asynchronous distributed control
Steven M. Nowick , Michael Theobald
design automation conference 263 -268
21
2001
Anton, a special-purpose machine for molecular dynamics simulation
David E Shaw , Martin M Deneroff , Ron O Dror , Jeffrey S Kuskin
ACM SIGARCH Computer Architecture News 35 ( 2) 1
910
2007
Anton 3: twenty microseconds of molecular dynamics simulation before lunch
David E Shaw , Peter J Adams , Asaph Azaria , Joseph A Bank
Smpte Journal 1 -11
53
2021
Hardware support for fine-grained event-driven computation in Anton 2
JP Grossman , Jeffrey S Kuskin , Joseph A Bank , Michael Theobald
Acm Sigplan Notices 48 ( 4) 549 -560
31
2013
Post-silicon debug using formal verification waypoints
C Richard Ho , Michael Theobald , Brannon Batson , J Grossman
Design and Verification Conf
28
2009
Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic
C Richard Ho , Michael Theobald , Martin M Deneroff , Ron O Dror
design automation conference 268 -271
2008
Chair: UG Baitinger, IPVR—University of Stuttgart, Germany
Rolf Drechsler , Bernd Becker , Michael Theobald , Marek A Perkowski