Fundamentals of computer-aided circuit simulation

Gate-level simulation of digital circuits using multi-valued Boolean algebras

ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design

Calculating worst-case gate delays due to dominant capacitance coupling

DAC '97 Proceedings of the 34th annual Design Automation Conference

TETA: transistor-level engine for timing analysis

DAC '98 Proceedings of the 35th annual Design Automation Conference

Representing Knowledge by Neural Networks for Qualitative Analysis and Reasoning

IEEE Transactions on Knowledge and Data Engineering

Fast Fault Simulation for Nonlinear Analog Circuits

IEEE Design & Test

Event-driven behavioural simulation of analogue transfer functions

EURO-DAC '90 Proceedings of the conference on European design automation

Hierarchical Multi-Dimensional Table Lookup for Model Compiler Based Circuit Simulation

Proceedings of the conference on Design, automation and test in Europe - Volume 2

SILCA: Fast-Yet-Accurate Time-Domain Simulation of VLSI Circuits with Strong Parasitic Coupling Effects

Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design

Efficient Decomposition Techniques for Symbolic Analysis of Large-Scale Analog Circuits by State Variable Method

Analog Integrated Circuits and Signal Processing

An Efficiently Preconditioned GMRES Method for Fast Parasitic-Sensitive Deep-Submicron VLSI Circuit Simulation

Proceedings of the conference on Design, Automation and Test in Europe - Volume 2

Fast, accurate MOS table model for circuit simulation using an unstructured grid and preserving monotonicity

Proceedings of the 2005 Asia and South Pacific Design Automation Conference

A verification system for transient response of analog circuits

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Numerical methods for simulation of guitar distortion circuits

Computer Music Journal

Automated physical modeling of nonlinear audio circuits for real-time audio effects-part I: theoretical development

IEEE Transactions on Audio, Speech, and Language Processing - Special issue on virtual analog audio Effects and musical instruments

Efficient methods for large resistor networks

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

PDAE models of integrated circuits

Mathematical and Computer Modelling: An International Journal

Topology optimization of piezoelectric energy harvesting devices considering static and harmonic dynamic loads

Advances in Engineering Software

A new time-stepping method for circuit simulation

Proceedings of the 50th Annual Design Automation Conference

Numerical modeling methodology and experimental study for piezoelectric vibration damping control of rotating composite fan blades

Computers and Structures

Formal Verification of Analog and Mixed Signal Designs Using SPICE Circuit Simulation Traces

Journal of Electronic Testing: Theory and Applications