
RevLib
 Referenced in 26 articles
[sw10333]
 domain of reversible and quantum circuit design. It provides a database of functions (including ... public domain toolkit for reversible circuit design. Researchers are welcome to submit own functions...

STeP
 Referenced in 36 articles
[sw17948]
 systems, including parameterized (Ncomponent) circuit designs, parameterized (Nprocess) programs, and programs with infinite...

Wattch
 Referenced in 31 articles
[sw15015]
 even compiler writers, in addition to circuit designers. Most existing power analysis tools achieve high...

QCADesigner
 Referenced in 21 articles
[sw22781]
 QCADesigner tool facilitates rapid design, layout and simulation of QCA circuits by providing powerful ... features available in more complex circuit design tools...

RevKit
 Referenced in 12 articles
[sw10646]
 Open Source Toolkit for the Design of Reversible Circuits. RevKit ... open source toolkit for reversible circuit design. The motivation behind it is to make recent ... developments in the domain of reversible circuit design accessible to other researchers. Therefore, a modular...

Kronos
 Referenced in 263 articles
[sw01270]
 task within strict time deadlines. Embedded controllers, circuits and communication protocols are examples of such ... aircraft avionics, which are very difficult to design and analyze, but whose correct behavior must...

QCAPro
 Referenced in 11 articles
[sw22782]
 ErrorPower Estimation Tool for QCA Circuit Design. n this work we present a novel ... loss in Quantumdot Cellular Automata (QCA) circuits. The tool uses a fast approximation based ... estimate highly erroneous cells in QCA circuit design. QCAPro also provides an estimate of power...

Lava
 Referenced in 13 articles
[sw28643]
 Lava is a tool to assist circuit designers in specifying, designing, verifying and implementing hardware ... collection of Haskell modules. The system design exploits functional programming language features, such as monads ... type classes, to provide multiple interpretations of circuit descriptions. These interpretations implement standard circuit analyses...

SUGAR
 Referenced in 12 articles
[sw15321]
 wide range of student and professional circuit designers regularly use circuit simulation tools like SPICE...

SPECTRE
 Referenced in 8 articles
[sw02884]
 Designer’s Guide to SPICE and Spectre” is not an introduction to circuit simulators. Rather ... practical guide for circuit designers that routinely use circuit simulators. Problems that commonly occur ... most popular circuit simulator for integrated circuit design. Even though these three simulators ... useful to the user of any circuit simulator...

ABC
 Referenced in 37 articles
[sw12910]
 verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transformations...

PABTEC
 Referenced in 12 articles
[sw04061]
 simulation of electrical circuits plays a major role in computer aided design of electronic devices ... decreasing, the complexity of the electrical circuits is increasing. This usually leads to a system ... preserving Balanced Truncation method for Electrical Circuits is designed for model order reduction and numerical...

TRBDF2
 Referenced in 30 articles
[sw03446]
 silicon devices and circuits, IEEE Trans. Comput.Aided Design 4, 436451 (1985)]. This method...

Midori
 Referenced in 21 articles
[sw17436]
 goal of low energy for block cipher design has not been explicitly addressed ... respect to the energy consumed by the circuit per bt in encryption or decryption operation ... design choices that lead to low energy consumption in an electrical circuit ... circuit that provides both the functionalities of encryption and decryption can be designed with very...

Scilab
 Referenced in 168 articles
[sw00834]
 perform data analysis and modeling Control System Design & Analysis: Standard algorithms and tools for control ... modeler and simulator: Modeling mechanical systems, hydraulic circuits, control systems...

ASTRX/OBLX
 Referenced in 5 articles
[sw19450]
 circuits. Synthesis of highperformance analog cells in ASTRX/OBLX. In contrast to digital ASIC design ... largely nonexistent: most analog circuitry is still designed by hand. Synthesis of analog cells promises ... minimum value occurs at a circuit design that best meets the input specifications. This cost ... solve numerically for its minimum, thereby designing the circuit. To show the generality...

PSpice
 Referenced in 28 articles
[sw03041]
 guide to circuit simulation and analysis using PSpice. Computeraided analysis and design is fast ... introduces SPICE simulation; considers DC and AC circuits; outlines semiconductor devices modelling; explores digital logic...

QCViewer
 Referenced in 3 articles
[sw12002]
 software tool for the design and simulation of quantum circuits ... allows users to test new circuit designs and make publication quality diagrams with an easy ... Supported features also include simulation of the circuit while graphically displaying the current state...

LIQUi
 Referenced in 14 articles
[sw26288]
 tasks. LIQUi> is a modular software architecture designed to control quantum hardware. It enables easy ... compilation, and simulation of quantum algorithms and circuits, and is independent of a specific quantum ... LIQUi> contains an embedded, domainspecific language designed for programming quantum algorithms, with ... also allows the extraction of a circuit data structure that can be used for optimization...

SATORI
 Referenced in 10 articles
[sw09597]
 Fast Sequential SAT Engine for Circuits. We describe the design and implementation of SATORI ... bounded model of thesequential circuit using SAT, has diverging strengths and weaknesses. Inthis paper...