• 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 (N-component) circuit designs, parameterized (N-process) 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]
  • Error-Power Estimation Tool for QCA Circuit Design. n this work we present a novel ... loss in Quantum-dot 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...
  • TR-BDF2

  • Referenced in 30 articles [sw03446]
  • silicon devices and circuits, IEEE Trans. Comput.-Aided Design 4, 436-451 (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 high-performance 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. Computer-aided 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, domain-specific 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...