• GAUT

  • Referenced in 4 articles [sw17048]
  • GAUT: a high-level synthesis tool for DSP applications. From algorithm to digital circuit. This ... GAUT, an academic and open-source high-level synthesis tool dedicated to digital signal processing...
  • CHStone

  • Referenced in 2 articles [sw15039]
  • program suite for practical C-based high-level synthesis. In general, standard benchmark suites ... benchmark programs for C-based high-level synthesis. CHStone consists of a dozen of large...
  • DG2VHDL

  • Referenced in 3 articles [sw00202]
  • problem size. This makes possible the high level synthesis of processor arrays for large size...
  • SYNTHESIS

  • Referenced in 8 articles [sw00944]
  • correct composition code, SYNTHESIS takes as input an high-level behavioural description for each component ... specified interactions. The current version of SYNTHESIS supports two possible development platforms: Microsoft COM/DCOM...
  • PuMA++

  • Referenced in 1 article [sw01430]
  • discuss the benefits of coupling the high-level synthesis tool CADDY-II and the partitioning...
  • TRANSIT

  • Referenced in 6 articles [sw28674]
  • EFSM), along with high-level invariants and concrete execution fragments. Our synthesis engine completes...
  • Vivado

  • Referenced in 0 articles [sw23997]
  • Vivado High-Level Synthesis. Accelerates IP Creation by Enabling C, C++ and System C Specifications ... more sophisticated than ever before. Vivado® High-Level Synthesis included as a no cost upgrade...
  • Vertaf

  • Referenced in 4 articles [sw08200]
  • model is proposed for component reuse. Formal synthesis employs quasi-static and quasi-dynamic scheduling ... illustrated how high-level reuse of software components combined with automatic synthesis and verification...
  • L.U.St

  • Referenced in 1 article [sw29608]
  • trees to generate a synthesis that provides a high level perspective that cannot be attained...
  • WoLFram

  • Referenced in 15 articles [sw02075]
  • WoLFram -- a word level framework for formal verification and its application. A framework that automatically ... SystemC is presented. The integrated flow of synthesis, verification and debugging of WoLFram is successfully ... time. The accuracy of debugging is high. Often over 99% of the fault candidates...
  • PuRSUE

  • Referenced in 1 article [sw38924]
  • PuRSUE -- from specification of robotic environments to synthesis of controllers. Developing robotic applications ... skills that are usually only possessed by highly-qualified robotic developers. While formal methods that ... robotic applications though high-level languages; and (ii) enable the automatic synthesis of low-level ... rigorous and systematic design of high-level run-time control strategies for robotic applications...
  • Alpha

  • Referenced in 6 articles [sw13717]
  • sequential or parallel machines from a high level specification. An algorithm is described by equations ... this description can be translated towards logic synthesis tools in order to generate a VLSI...
  • MEGAN

  • Referenced in 17 articles [sw33189]
  • environmental assemblies. Emerging sequencing-by-synthesis technologies with very high throughput are paving ... reads to taxa such that the taxonomical level of the assigned taxon reflects the level...
  • PyLog

  • Referenced in 1 article [sw41595]
  • algorithm-centric Python-based FPGA programming and synthesis flow. The exploding complexity and computation efficiency ... heterogeneous platforms such as FPGAs. However, a high-quality FPGA design is very hard ... short development cycle, with high-level languages like Python, which have much higher levels ... create PyLog, a high-level, algorithm-centric Python-based programming and synthesis flow for FPGA...
  • StocHy

  • Referenced in 3 articles [sw36937]
  • StocHy: automated verification and synthesis of stochastic processes. StocHy is a software tool ... hybrid systems (SHS). StocHy accepts a high-level description of stochastic models and constructs ... formal verification or (iii) control (policy, strategy) synthesis. StocHy allows for modular modelling...
  • LTLMoP

  • Referenced in 3 articles [sw23171]
  • Temporal Logic are used to write high-level reactive task specifications, which are then automatically ... research in areas such as controller synthesis, semantic parsing, motion planning, and human-robot interaction...
  • ATMOL

  • Referenced in 1 article [sw02267]
  • expressiveness allows the formulation of high-level and low-level model details as language constructs ... problem refinement and code synthesis. The atmospheric models specified in ATMOL are translated into efficient...
  • TinyGarble

  • Referenced in 3 articles [sw41619]
  • TinyGarble: Highly Compressed and Scalable Sequential Garbled Circuits. We introduce Tiny Garble, a novel automated ... methodology based on powerful logic synthesis techniques for generating and optimizing compressed Boolean circuits used ... protocol. Tiny Garble achieves an unprecedented level of compactness and scalability by using a sequential ... benchmark functions using Tiny Garble demonstrates a high degree of compactness and scalability. We improve...
  • FLYCHK

  • Referenced in 5 articles [sw20582]
  • sophisticated analysis. FLYCHK solves rate equations for level population distributions by considering collisional and radiative ... applied for low-to-high Z ions and in either steady-state or time-dependent ... Dirac–Hartree–Slater model for spectrum synthesis. Numerous experimental and calculational comparisons performed in recent...
  • ATSyRa

  • Referenced in 0 articles [sw22309]
  • high-level actions to structure the tree, and ways to interactively refine the synthesis...