• VINAS-P

  • Referenced in 11 articles [sw01383]
  • trace theoretic verification of timed asynchronous circuits...
  • Workcraft

  • Referenced in 5 articles [sw01021]
  • crucial to the design of efficient asynchronous circuits. Concepts such as static data flow structures...
  • Petrify

  • Referenced in 26 articles [sw09784]
  • Signal Transition Graphs describing the behavior of asynchronous controllers. Petrify is able to solve ... Coding problem and generate a speed-independent circuit. Petrify also includes another application called draw...
  • CASCADE

  • Referenced in 8 articles [sw01385]
  • tool kernel that supports the synthesis of asynchronous controllers. It uses a generalized ... with existing synthesis tools (petrify for SI circuits, 3D for XBM synthesis). By decomposition, certain...
  • Boolector

  • Referenced in 27 articles [sw00085]
  • Boolector: an efficient SMT solver for bit-vectors...
  • Coq

  • Referenced in 1748 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2702 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • LAPACK

  • Referenced in 1582 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1567 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 4896 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5693 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11446 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 520 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • SageMath

  • Referenced in 1505 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SINGULAR

  • Referenced in 1305 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • SuperLU

  • Referenced in 162 articles [sw00930]
  • SuperLU is a general purpose library for the...
  • UMFPACK

  • Referenced in 325 articles [sw00989]
  • An ANSI C code for sparse LU factorization...
  • ML

  • Referenced in 502 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • DYNAMO

  • Referenced in 249 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...