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)
Dynamic Translinear and Log-Domain Circuits : Analysis and Synthesis /
by: Mulder, Jan
Published: (1999)
by: Mulder, Jan
Published: (1999)
Analysis and Design of Mosfets : Modeling, Simulation and Parameter Extraction /
by: Liou, J. J.
Published: (1998)
by: Liou, J. J.
Published: (1998)
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)
System Test and Diagnosis /
by: Simpson, W. R. (William R.)
Published: (1994)
by: Simpson, W. R. (William R.)
Published: (1994)
Connectionist Speech Recognition : a Hybrid Approach /
by: Bourlard, Hervé A.
Published: (1994)
by: Bourlard, Hervé A.
Published: (1994)
Analog Signal Processing /
by: Aronhime, Peter B.
Published: (1994)
by: Aronhime, Peter B.
Published: (1994)
VLSI Artificial Neural Networks Engineering /
by: Elmasry, Mohamed I.
Published: (1994)
by: Elmasry, Mohamed I.
Published: (1994)
Asynchronous Circuit Design for VLSI Signal Processing /
by: Meng, Teresa H.
Published: (1994)
by: Meng, Teresa H.
Published: (1994)
Integrated Analog-To-Digital and Digital-To-Analog Converters /
by: Plassche, Rudy
Published: (1994)
by: Plassche, Rudy
Published: (1994)
Silicon Implementation of Pulse Coded Neural Networks /
by: Zaghloul, Mona E.
Published: (1994)
by: Zaghloul, Mona E.
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)
Conceptual Design of Multichip Modules and Systems /
by: Sandborn, Peter A.
Published: (1994)
by: Sandborn, Peter A.
Published: (1994)
Multirate Switched-Capacitor Circuits for 2-D Signal Processing /
by: Wang, Ping
Published: (1998)
by: Wang, Ping
Published: (1998)
BiCMOS Technology and Applications /
by: Alvarez, A. R.
Published: (1993)
by: Alvarez, A. R.
Published: (1993)
Lightning Protection for People and Property /
by: Frydenlund, Marvin M.
Published: (1993)
by: Frydenlund, Marvin M.
Published: (1993)
Characterization Methods for Submicron MOSFETs /
by: Haddara, Hisham
Published: (1996)
by: Haddara, Hisham
Published: (1996)
Test and Design-for-Testability in Mixed-Signal Integrated Circuits /
by: Huertas, José L.
Published: (2004)
by: Huertas, José L.
Published: (2004)
Residue Number Systems : Algorithms and Architectures /
by: Mohan, P. V. Ananda
Published: (2002)
by: Mohan, P. V. Ananda
Published: (2002)
Design of Low-Voltage, Low-Power Operational Amplifier Cells /
by: Hogervorst, Ron
Published: (1996)
by: Hogervorst, Ron
Published: (1996)
Pulse Width Modulated DC-DC Converters /
by: Wu, Keng C.
Published: (1997)
by: Wu, Keng C.
Published: (1997)
Digit-Serial Computation /
by: Hartley, Richard
Published: (1995)
by: Hartley, Richard
Published: (1995)
VLSI - Compatible Implementations for Artificial Neural Networks /
by: Fakhraie, Sied Mehdi
Published: (1997)
by: Fakhraie, Sied Mehdi
Published: (1997)
VLSI Placement and Global Routing Using Simulated Annealing /
by: Sechen, Carl
Published: (1988)
by: Sechen, Carl
Published: (1988)