
RevLib
 Referenced in 27 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 27 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...

QCAPro
 Referenced in 12 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...

Kronos
 Referenced in 274 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...

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

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...

SPECTRE
 Referenced in 9 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...

Midori
 Referenced in 35 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...

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

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

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...

Scilab
 Referenced in 175 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 29 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...

QSobel
 Referenced in 15 articles
[sw12660]
 edges quite fast. Through designing and analyzing the quantum circuit of QSobel, we demonstrate that...

Workcraft
 Referenced in 6 articles
[sw01021]
 constructs are crucial to the design of efficient asynchronous circuits. Concepts such as static data ... SDFS) considerably facilitate the design process by separating the circuit structure and functionality from ... higher level view, SDFS allow for efficient circuit analysis that is done by converting ... model verification.\parHowever, recent advances in SDFS design were largely theoretical. There are no practical...

LIQUi
 Referenced in 15 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...