Automated Synthesis of Digital systems

Retargetable Compiler Technology for Embedded Systems

“…MIMOLA stands for machine-independent microprogramming language. The MIMOLA project and a corresponding independent project [39] at the Carnegie-Mellon-University were the first two projects in high-level synthesis (even though that name was not used at that time). The MIMOLA Software System (MSS) incorporated tools for high-level synthesis, code generation, test generation, synthesis and schematic generation in a consistent way [33].…”

An interactive tool for register-level structure optimization

“…High-level synthesis systems usually follow an overall approach described by Parker [5], Thomas [8], and by Gajski [6]. RLEXT is implemented in Franz Lisp, and runs on a 25 MHz Sun 3/260 workstation with 16 megabytes of memory, which is sufficient to prevent significant paging.…”

Modeling data transfer signal timings in DAME

“…[3]. HDLs can be used to /"-/" d~s~ribe a design at di~ferent abst.raction I~vels, but it is often INV ALIDI V ALIDI V ALIDO INV ALIDO dIfficult to automatIcally derIve an Interface between-"""" A components described using HDL.…”