Timed Boolean Functions : a Unified Formalism for Exact Timing Analysis /
Timing research in high performance VLSI systems has advanced at a steady pace over the last few years. Tools, however, especially theoretical mechanisms, lag behind. Much of the present timing research relies heavily on timing diagrams, which although intuitive, are inadequate for analysis of large...
| Main Author: | Lam, William K. C. |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Other Authors: | Brayton, Robert K. |
| Format: | eBook |
| Language: | English |
| Published: |
Boston, MA :
Springer US,
1994.
|
| Series: | Springer International Series in Engineering and Computer Science, VLSI, Computer Architecture and Digital Signal Processing ;
270. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Boolean Reasoning : the Logic of Boolean Equations /
by: Brown, Frank Markham
Published: (1990)
by: Brown, Frank Markham
Published: (1990)
Time-Frequency Analysis and Synthesis of Linear Signal Spaces : Time-Frequency Filters, Signal Detection and Estimation, and Range-Doppler Estimation /
by: Hlawatsch, F. (Franz)
Published: (1998)
by: Hlawatsch, F. (Franz)
Published: (1998)
Handbook of Tables for Elliptic-Function Filters /
by: Su, Kendall L.
Published: (1990)
by: Su, Kendall L.
Published: (1990)
Recent Developments in Time-Frequency Analysis : Volume 9: A Special Issue of Multidimensional Systems and Signal Processing. An International Journal /
by: Cohen, Leon
Published: (1998)
by: Cohen, Leon
Published: (1998)
High-Performance CMOS Continuous-Time Filters /
by: Silva-Martínez, José
Published: (1993)
by: Silva-Martínez, José
Published: (1993)
Switch-Level Timing Simulation of MOS VLSI Circuits /
by: Rao, Vasant B.
Published: (1988)
by: Rao, Vasant B.
Published: (1988)
Integrated Video-Frequency Continuous-Time Filters : High-Performance Realizations in BiCMOS /
by: Willingham, Scott D.
Published: (1995)
by: Willingham, Scott D.
Published: (1995)
Distortion Analysis of Analog Integrated Circuits /
by: Wambacq, Piet
Published: (1998)
by: Wambacq, Piet
Published: (1998)
Analysis and Synthesis of MOS Translinear Circuits /
by: Wiegerink, Remco J.
Published: (1993)
by: Wiegerink, Remco J.
Published: (1993)
Circuit Analysis for Power Engineering Handbook /
by: Shenkman, Arieh L.
Published: (1998)
by: Shenkman, Arieh L.
Published: (1998)
Symbolic Analysis in Analog Integrated Circuit Design /
by: Floberg, Henrik
Published: (1997)
by: Floberg, Henrik
Published: (1997)
Simulation Techniques and Solutions for Mixed-Signal Coupling in Integrated Circuits /
by: Verghese, Nishath K.
Published: (1995)
by: Verghese, Nishath K.
Published: (1995)
Wafer-Level Integrated Systems : Implementation Issues /
by: Tewksbury, Stuart K.
Published: (1989)
by: Tewksbury, Stuart K.
Published: (1989)
Analysis and Design of Mosfets : Modeling, Simulation and Parameter Extraction /
by: Liou, J. J.
Published: (1998)
by: Liou, J. J.
Published: (1998)
Dynamic Translinear and Log-Domain Circuits : Analysis and Synthesis /
by: Mulder, Jan
Published: (1999)
by: Mulder, Jan
Published: (1999)
Analysis and Solutions for Switching Noise Coupling in Mixed-Signal ICs /
by: Aragonès, Xavier
Published: (1999)
by: Aragonès, Xavier
Published: (1999)
Feed-Forward Neural Networks : Vector Decomposition Analysis, Modelling and Analog Implementation /
by: Annema, Anne-Johan
Published: (1995)
by: Annema, Anne-Johan
Published: (1995)
Symbolic Analysis of Analog Circuits: Techniques and Applications : a Special Issue of Analog Integrated Circuits and Signal Processing /
by: Huelsman, Lawrence P.
Published: (1993)
by: Huelsman, Lawrence P.
Published: (1993)
VLSI Signal Processing Technology /
by: Bayoumi, Magdy A.
Published: (1994)
by: Bayoumi, Magdy A.
Published: (1994)
Pipelined Adaptive Digital Filters /
by: Shanbhag, Naresh R.
Published: (1994)
by: Shanbhag, Naresh R.
Published: (1994)
Integrated Analog-To-Digital and Digital-To-Analog Converters /
by: Plassche, Rudy
Published: (1994)
by: Plassche, Rudy
Published: (1994)
Asynchronous Circuit Design for VLSI Signal Processing /
by: Meng, Teresa H.
Published: (1994)
by: Meng, Teresa H.
Published: (1994)
Analog Signal Processing /
by: Aronhime, Peter B.
Published: (1994)
by: Aronhime, Peter B.
Published: (1994)
System Test and Diagnosis /
by: Simpson, W. R. (William R.)
Published: (1994)
by: Simpson, W. R. (William R.)
Published: (1994)
VLSI Artificial Neural Networks Engineering /
by: Elmasry, Mohamed I.
Published: (1994)
by: Elmasry, Mohamed I.
Published: (1994)
Modeling and Simulation of High Speed VLSI Interconnects : a Special Issue of Analog Integrated Circuits and Signal Processing An International Journal Vol. 5, No. 1 (1994) /
by: Nakhla, M. S.
Published: (1994)
by: Nakhla, M. S.
Published: (1994)
Connectionist Speech Recognition : a Hybrid Approach /
by: Bourlard, Hervé A.
Published: (1994)
by: Bourlard, Hervé A.
Published: (1994)
Conceptual Design of Multichip Modules and Systems /
by: Sandborn, Peter A.
Published: (1994)
by: Sandborn, Peter A.
Published: (1994)
Silicon Implementation of Pulse Coded Neural Networks /
by: Zaghloul, Mona E.
Published: (1994)
by: Zaghloul, Mona E.
Published: (1994)
Computer-Aided Design of Analog Circuits and Systems /
by: Carley, L. Richard
Published: (1993)
by: Carley, L. Richard
Published: (1993)
High Voltage Devices and Circuits in Standard CMOS Technologies /
by: Ballan, Hussein
Published: (1999)
by: Ballan, Hussein
Published: (1999)
Compact Low-Voltage and High-Speed CMOS, BiCMOS and Bipolar Operational Amplifiers /
by: Langen, Klaas-Jan
Published: (1999)
by: Langen, Klaas-Jan
Published: (1999)
Analog VLSI Neural Networks : a Special Issue of Analog Integrated Circuits and Signal Processing /
by: Takefuji, Yoshiyasu
Published: (1993)
by: Takefuji, Yoshiyasu
Published: (1993)
Applied and Computational Control, Signals, and Circuits : Recent Developments /
by: Datta, Biswa Nath
Published: (2001)
by: Datta, Biswa Nath
Published: (2001)
Mixed Design of Integrated Circuits and Systems /
by: Napieralski, Andrzej
Published: (1998)
by: Napieralski, Andrzej
Published: (1998)
Multirate Switched-Capacitor Circuits for 2-D Signal Processing /
by: Wang, Ping
Published: (1998)
by: Wang, Ping
Published: (1998)
Characterization Methods for Submicron MOSFETs /
by: Haddara, Hisham
Published: (1996)
by: Haddara, Hisham
Published: (1996)
BiCMOS Technology and Applications /
by: Alvarez, A. R.
Published: (1993)
by: Alvarez, A. R.
Published: (1993)
Nonlinear Systems : Modeling and Estimation 1 /
by: Fossard, A. J.
Published: (1995)
by: Fossard, A. J.
Published: (1995)
Analog Signal Generation for Built-In-Self-Test of Mixed-Signal Integrated Circuits /
by: Roberts, Gordon W.
Published: (1995)
by: Roberts, Gordon W.
Published: (1995)