
SparseMatrix
 Referenced in 638 articles
[sw04629]
 geometry (as structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics ... have such geometry (optimization, circuit simulation, economic and financial modeling, theoretical and quantum chemistry, chemical...

Scilab
 Referenced in 167 articles
[sw00834]
 dynamic systems modeler and simulator: Modeling mechanical systems, hydraulic circuits, control systems...

PSpice
 Referenced in 28 articles
[sw03041]
 simulation; considers DC and AC circuits; outlines semiconductor devices modelling; explores digital logic circuits...

Kronos
 Referenced in 263 articles
[sw01270]
 task within strict time deadlines. Embedded controllers, circuits and communication protocols are examples of such ... realtime systems need to be rigorously modeled and specified in order to be able...

PABTEC
 Referenced in 12 articles
[sw04061]
 electrical circuits is increasing. This usually leads to a system of model equations in form ... largescale system by a much smaller model which approximates the inputoutput relation ... Balanced Truncation method for Electrical Circuits is designed for model order reduction and numerical integration ... model equations of electrical circuits...

Scicos
 Referenced in 19 articles
[sw01941]
 generation of component based modeling of electrical and hydraulic circuits using the Modelica language...

Pandapower
 Referenced in 5 articles
[sw21549]
 Open Source Python Tool for Convenient Modeling, Analysis and Optimization of Electric Power Systems. Pandapower ... short circuit calculations according to IEC 60909. The pandapower network model is based on electric ... parameters and internally processed with equivalent circuit models. The tabular data structure used to define...

SATORI
 Referenced in 10 articles
[sw09597]
 SATORI  A Fast Sequential SAT Engine for Circuits. We describe the design and implementation ... ATPG or, on a bounded model of thesequential circuit using SAT, has diverging strengths...

GeNN
 Referenced in 4 articles
[sw26943]
 scale numerical simulations of detailed brain circuit models are important for identifying hypotheses on brain...

McPAT
 Referenced in 6 articles
[sw27655]
 beyond. At the microarchitectural level, McPAT includes models for the fundamental components of a chip ... controllers, and multipledomain clocking. At the circuit and technology levels, McPAT supports ... criticalpath timing modeling, area modeling, and dynamic, shortcircuit, and leakage power modeling...

Coquet
 Referenced in 6 articles
[sw09919]
 propose a new library to model and verify hardware circuits in the Coq proof assistant ... This library allows one to easily build circuits by following the usual penandpaper ... dependently typed) datatype that models the architecture of circuits, and a meaning function...

Cardinal
 Referenced in 10 articles
[sw06999]
 this paper is on modelling: we focus essentially on digital circuits problems, for which...

SimMechanics
 Referenced in 8 articles
[sw04349]
 physical modeling, in particular the modeling of electrical circuits including power systems, motor drives, power ... phase power transmission lines; and SimMechanics develops models of mechanical systems such as robots...

SUGAR
 Referenced in 12 articles
[sw15321]
 simulation. Beams, electrostatic gaps, circuit elements, and other elements are modeled by small, coupled systems ... community has leveraged nearly all the integratedcircuit community’s fabrication techniques, but little...

STeP
 Referenced in 36 articles
[sw17948]
 restricted to finitestate systems, but combines model checking with deductive methods to allow ... class of systems, including parameterized (Ncomponent) circuit designs, parameterized (Nprocess) programs, and programs...

QCM
 Referenced in 2 articles
[sw34799]
 repo contains source codes for quantum circuits modelling (using state vector and Heisenberg representations ... classical computing platforms. As the modelling of quantum circuits on classical computer is nonintuitive...

PMTBR
 Referenced in 17 articles
[sw02086]
 have been obtained in several situations, meaning models of small order that retain acceptable accuracy ... circuit simulation with parasitics networks having large numbers of input/output ports, and interconnect modeling...

multi2boolean
 Referenced in 4 articles
[sw25069]
 circuitpreserving mapping from multilevel to Boolean dynamics. Many discrete models of biological networks rely ... model. This raises special difficulties for the analysis of interaction between variables and circuit functionality ... understanding of dynamic properties of logical models. Here, we propose a new multilevel to Boolean ... wellknown conjecture that a local negative circuit is necessary to generate sustained oscillations. This...

HSPICE
 Referenced in 12 articles
[sw11821]
 standard” for accurate circuit simulation and offers foundrycertified MOS device models with state ... most popular, most trusted and comprehensive circuit simulator...

QCAPro
 Referenced in 11 articles
[sw22782]
 Circuit Design. n this work we present a novel probabilistic modeling tool (QCAPro) to estimate ... loss in Quantumdot Cellular Automata (QCA) circuits. The tool uses a fast approximation based...