• ASTRAL

  • Referenced in 17 articles [sw02878]
  • real-time systems, as a hardware description language. ASTRAL is based on ASLAN ... satisfies the fundamental requirements of a hardware description language. The use of ASTRAL ... hardware description language is shown by means of two significant examples...
  • Lava

  • Referenced in 13 articles [sw28643]
  • hardware. It is a collection of Haskell modules. The system design exploits functional programming language ... classes, to provide multiple interpretations of circuit descriptions. These interpretations implement standard circuit analyses such ... descriptions than are possible in traditional hardware description languages. Two Fast Fourier Transform circuit examples...
  • Verilog

  • Referenced in 10 articles [sw13592]
  • Language Interface (PLI) for the Verilog hardware description language. Verilog...
  • VESTA

  • Referenced in 10 articles [sw02978]
  • hardware development, checking their hardware description language files into Vesta’s source code control facility...
  • GEZEL

  • Referenced in 6 articles [sw04151]
  • language for modelling hardware architectures In this paper we consider a high-level hardware description...
  • DG2VHDL

  • Referenced in 3 articles [sw00202]
  • code and test separately, using a hardware description language, every candidate architecture under consideration ... well as the area of the resulting hardware grows at the lowest possible rate with...
  • STABLE

  • Referenced in 2 articles [sw11913]
  • logic level of the hardware description language being used. This results in SMT problems where...
  • TUDD

  • Referenced in 2 articles [sw18592]
  • register-transfer level by means of hardware description languages (HDLs), like VHDL, becomes increasingly important...
  • GAME-HDL

  • Referenced in 1 article [sw02375]
  • Implementation of evolutionary algorithms using hardware description languages. Evolutionary Algorithms (EAs) have been proposed ... technique for the implementation of EAs in hardware based on a the concept of reusable ... These modules are described in a Hardware Description Language (HDL). The resulting “hardware...
  • CoSA

  • Referenced in 1 article [sw41667]
  • which is typically provided in a hardware description language such as Verilog. In this paper ... CoreIR is a new intermediate representation for hardware. CoSA encodes model- checking queries into first...
  • TXP

  • Referenced in 1 article [sw32264]
  • temporal property specification language TXP. The language is designed to support dynamic monitoring of temporal ... design verification of hardware systems, hardware description languages (HDL) provide modeling capabilities, but they...
  • v2c

  • Referenced in 1 article [sw34740]
  • hardware circuit in Verilog Hardware Description Language (HDL), v2c is used to automatically translate...
  • Clash

  • Referenced in 1 article [sw41600]
  • Clash is a functional hardware description language that borrows both its syntax and semantics from...
  • ISDL

  • Referenced in 10 articles [sw02314]
  • Description Language, ISDL, a machine description language used to describe target architectures ... features and flexibility of ISDL enable the description of a wide variety of architectures with ... concise and intuitive descriptions. Furthermore, a single ISDL description supports the automatic generation or retargeting ... hardware models. In addition, it compares ISDL to various other machine description languages that...
  • Pinapa

  • Referenced in 6 articles [sw09955]
  • same language is used for the description of the architecture, software and hardware parts.A tool...
  • Trident

  • Referenced in 3 articles [sw38131]
  • that translate algorithmic high-level language code into hardware circuits. The Trident open source ... compiler translates C code to a hardware circuit description, providing designers with extreme flexibility...
  • xMAML

  • Referenced in 2 articles [sw21580]
  • description languages (ADL). These ADLs are useful for a rapid description of the hardware that ... This paper presents xMAML, an architecture description language dedicated to the instantiation of dynamically reconfigurable...
  • SAFL

  • Referenced in 5 articles [sw13687]
  • call-by-value first-order functional language which is syntactically restricted so that storage ... expressible. The motivation behind SAFL is hardware description and synthesis -- we have built an optimising...
  • SMI++

  • Referenced in 2 articles [sw10141]
  • hardware devices or software tasks, or they can represent abstract subsystems. A special language ... provided for the object description, The SML description is then interpreted by a Logic Engine...
  • Firedrake-Fluids

  • Referenced in 1 article [sw38265]
  • using an automated solution framework. This model description paper introduces a new finite element model ... hand in static, low-level programming languages such as Fortran or C, Firedrake-Fluids uses ... from a high-level abstract language called Unified Form Language (UFL). By coupling ... then target the code towards a desired hardware architecture to enable the efficient parallel execution...