Don't cares in synthesis: Theoretical pitfalls and practical solutions
- Daniel Brand
- Reinaldo A. Bergamaschi
- et al.
- 1998
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
38 results for Daniel Brand
BooleDozer: Logic synthesis for ASICs
- Leon Stok
- D.S. Kung
- et al.
- 1996
- IBM J. Res. Dev
Incremental synthesis
- D. Brand
- A.D. Drumm
- et al.
- 1994
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Identification of Redundant Delay Faults
- Daniel Brand
- Vijay S. Iyengar
- 1994
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Exhaustive Simulation Need Not Require an Exponential Number of Tests
- Daniel Brand
- 1993
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Verification of HDLC
- Daniel Brand
- William H. Joyner
- 1982
- IEEE Transactions on Communications
Towards Analyzing and Synthesizing Protocols
- P. Pitrozafiropulo
- Colin H. West
- et al.
- 1980
- IEEE Transactions on Communications
Verification of protocols using symbolic execution
- Daniel Brand
- William H Joyner Jr.
- 1978
- Computer Networks