Tomohiro Yoneda

Publications

VINAS-P: Formal verifier for timed asynchronous circuits

  1. Installation note
  2. Quick start guide
  3. Manual (pdf)
  4. Binary package for Linux

NUTAS: Decomposition based synthesis tool for timed circuits

NUTAS(Nii-Utah Timed Asynchronous circuit Synthesis system) is a tool for synthesizing a (timed) circuit from a (timed) STG.

In order to reduce the cost of synthesis, NUTAS synthesizes each output individually. NUTAS begins by contracting the STG to include only transitions on the output of interest and its trigger signals. Next, the reachable state space for this contracted STG is analyzed to determine a minimal number of additional signals which must be reintroduced into the STG to obtain CSC. The circuit for this output is then synthesized from this STG.
  1. Quick start guide
  2. Binary package for Linux
  3. Related paper: "Synthesis of Speed Independent Circuits Based on Decomposition", Proc. of ASYNC04, pp.135-145 (2004)

Slides for Classes (in Japanese)

Books (in Japanese)

Last update: Nov.17, 2005 by T. Yoneda