• muFP

  • Referenced in 6 articles [sw28645]
  • differs from conventional VLSI design languages in that it can describe both ... semantics (or behaviour) of a circuit and its layout (or floorplan) [Sheeran 83]. We chose ... themselves. Likewise, in &mgr;FP, programs (or circuit descriptions) are just expressions “made” from ... floorplan. Most VLSI design languages are designed either for layout description or for behavioural specification...
  • Isabelle

  • Referenced in 714 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Matlab

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

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

  • Referenced in 211 articles [sw02212]
  • LOQO: An interior point code for quadratic programming...
  • AMPL

  • Referenced in 621 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • CPLEX

  • Referenced in 2790 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • FFTW

  • Referenced in 552 articles [sw04126]
  • FFTW is a C subroutine library for computing...
  • KELLEY

  • Referenced in 643 articles [sw04829]
  • Iterative methods for optimization This book gives an...
  • MINOS

  • Referenced in 459 articles [sw05095]
  • MINOS is a large-scale optimization system, for...
  • Chaff

  • Referenced in 591 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability...
  • Xilinx

  • Referenced in 96 articles [sw07491]
  • Xilinx system generator and Xilinx Tool Kit. Programmable...
  • NEOS

  • Referenced in 96 articles [sw13740]
  • NEOS Server: State-of-the-Art Solvers for...
  • Python

  • Referenced in 2132 articles [sw14460]
  • Python is a widely used high-level, general...
  • TimberWolf

  • Referenced in 18 articles [sw16460]
  • The TimberWolf placement and routing package. TimberWolf is...
  • PATOMA

  • Referenced in 4 articles [sw25553]
  • Fast floorplanning by look-ahead enabled recursive bipartitioning...
  • CNN

  • Referenced in 57 articles [sw33973]
  • CNN Technology: Template and software library...