• Camellia

  • Referenced in 77 articles [sw09731]
  • block cipher and suitable for multiple platforms -- design and analysis. We present ... Standard (AES). Efficiency on both software and hardware platforms is a remarkable characteristic of Camellia ... distinguishing feature is its small hardware design. The hardware design, which includes encryption and decryption...
  • OBJ3

  • Referenced in 138 articles [sw05370]
  • rapid prototyping, theorem proving, user interface design, and hardware verification, among other things ... programming and its module system influenced the designs of the Ada, C++, and ML module...
  • LCF

  • Referenced in 157 articles [sw08360]
  • today, and the design of the hardware veri¯cation system LCF LSM (a now obsolete...
  • Handel-C

  • Referenced in 44 articles [sw11988]
  • parallelism. Handel-C is to hardware design what the first high-level programming languages were ... number of design languages and then synthesised to the corresponding hardware. This frees developers ... rather than the idiosyncrasies of a specific design language and architecture...
  • Grain

  • Referenced in 55 articles [sw19539]
  • stream cipher, Grain, is proposed. The design targets hardware environments where gate count, power consumption...
  • Cadence SMV

  • Referenced in 27 articles [sw07795]
  • finite state systems, such as computer hardware designs. That means that instead of writing...
  • RRL

  • Referenced in 55 articles [sw28904]
  • formal methods in hardware and software design. We provide a brief historical account of development...
  • Hadoop

  • Referenced in 107 articles [sw08481]
  • computers using simple programming models. It is designed to scale up from single servers ... rely on hardware to deliver high-availability, the library itself is designed to detect...
  • ABC

  • Referenced in 21 articles [sw12910]
  • binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transformations based...
  • Reveal

  • Referenced in 20 articles [sw00801]
  • system and its application to four representative hardware test cases. Reveal employs counterexample-guided abstraction ... verifying the complex control logic of designs with wide datapaths. Reveal performs automatic datapath abstraction ... shown to be correct or an actual design error is reported. The Reveal system allows ... verification for a useful class of hardware designs is now quite feasible...
  • seL4

  • Referenced in 78 articles [sw15222]
  • compiler, assembly code, and hardware, and we used a unique design approach that fuses formal...
  • FoCs

  • Referenced in 20 articles [sw01591]
  • specifications. For the foreseeable future, industrial hardware design will continue to use both simulation...
  • OpenFOAM

  • Referenced in 353 articles [sw04317]
  • users to take full advantage of computer hardware at their disposal. By being open, OpenFOAM ... OpenCFD. It follows a highly modular code design in which collections of functionality (e.g. numerical...
  • LabVIEW

  • Referenced in 50 articles [sw04369]
  • graphical programming and unprecedented hardware integration to rapidly design and deploy measurement and control systems...
  • KORBX

  • Referenced in 55 articles [sw04341]
  • linear programs. The system consists of both hardware, which uses parallel processing technology configured with ... software which exploits the design and resources of this modern hardware. The KORBX linear programming...
  • KATAN

  • Referenced in 47 articles [sw23742]
  • KATAN/KTANTAN is a family of hardware oriented block ciphers designed by Chrstophe de Canniere ... resulting ciphers are exteremly efficient in hardware, and offer a set of suitable solution...
  • Lava

  • Referenced in 13 articles [sw28643]
  • Lava: hardware design in Haskell. Lava is a tool to assist circuit designers in specifying ... designing, verifying and implementing hardware. It is a collection of Haskell modules. The system design ... general descriptions than are possible in traditional hardware description languages. Two Fast Fourier Transform circuit...
  • Sollya

  • Referenced in 11 articles [sw09849]
  • fixed- and floating-point software and hardware design. Its features include on-the-fly faithful...
  • ICEBERG

  • Referenced in 18 articles [sw13243]
  • allow very efficient combinations of encryption/decryption. Hardware implementations of ICEBERG allow to change ... keys is needed). The resulting design offers better hardware efficiency than other recent ... channel cryptanalysis was also considered as a design criteria for ICEBERG...
  • reFLect

  • Referenced in 7 articles [sw22717]
  • reflective functional language for hardware design and theorem proving. This paper introduces reFLect, a functional ... reflection features intended for applications in hardware design and verification. The reFLect language is strongly...