Verity - a formal verification program for custom CMOS circuits
- Andreas Kuehlmann
- A. Srinivasan
- et al.
- 1995
- IBM J. Res. Dev
Paper
Publications
26934 results for Science
Low-noise TTL-compatible CMOS off-chip driver circuit
- S. Dhong
- M. Tanaka
- et al.
- 1995
- IBM J. Res. Dev
PaperDesign and High-Speed Testing of a Superconducting Delta-Sigma Oversampled Converter
- David Hebert
- Steve R. Whiteley
- et al.
- 1995
- IEEE TAS
PaperDegree of approximation by neural and translation networks with a single hidden layer
- H.N. Mhaskar
- Charles A. Micchelli
- 1995
- Advances in Applied Mathematics
PaperPicosecond Optoelectronic Study of Superconducting Microstrip Transmission Lines
- John F. Bulzacchelli
- Hae-Seung Lee
- et al.
- 1995
- IEEE TAS
PaperAnomalous Hall effect in III-V-based magnetic semiconductor heterostructures
- H. Munekata
- 1995
- Materials Science and Engineering B
PaperInvestigation of the relationship between reflectance difference spectroscopy and surface structure using grazing incidence X‐ray scattering
- D.W. Kisker
- G.B. Stephenson
- et al.
- 1995
- physica status solidi (a)
PaperDissociation kinetics of hydrogen-passivated (100) Si SiO2 interface defects
- J.H. Stathis
- 1995
- Microelectronic Engineering
PaperArtificial Neural Networks for Feature Extraction and Multivariate Data Projection
- Anil K. Jain
- 1995
- IEEE Transactions on Neural Networks
PaperConstruction of Encoders with Small Decoding Look-Ahead for Input-Constrained Channels
- Jonathan J. Ashley
- Brian H. Marcus
- et al.
- 1995
- IEEE Trans. Inf. Theory
Paper