• 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 ... real-time 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 ... large-scale system by a much smaller model which approximates the input-output 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 multiple-domain clocking. At the circuit and technology levels, McPAT supports ... critical-path timing modeling, area modeling, and dynamic, short-circuit, 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 pen-and-paper ... dependently typed) data-type 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 integrated-circuit community’s fabrication techniques, but little...
  • STeP

  • Referenced in 36 articles [sw17948]
  • restricted to finite-state systems, but combines model checking with deductive methods to allow ... class of systems, including parameterized (N-component) circuit designs, parameterized (N-process) 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 non-intuitive...
  • 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]
  • circuit-preserving 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 ... well-known 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 foundry-certified 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 Quantum-dot Cellular Automata (QCA) circuits. The tool uses a fast approximation based...