Previous work has demonstrated the feasibility of transistor-level symbolic timing simulation, using MTBDDs to share computations across input combinations with similar behaviors. This paper ...

This paper presents a Matlab toolbox for the symbolic analysis and simulation of linear analog circuits. The simulator uses Modified Nodal Analysis (MNA) method to solve linear networks in the ...

QNET includes a rich (and extensible) symbolic algebra system for quantum mechanics and circuit models. The foundation of the symbolic algebra are the :class:`~.Expression` class and its subclass ...