A design environment with simulation and formal verification (syr-padde).
Miquel BertranFelipe Alvarez-CuevasJoan ViaplanaAlbert DuranDaniel CabedoAntoni GarrellJosep M. GarrellFrancesc EscuderoMiquel NicolauMiquel PortaBartomeu PalmerJoan M. EspejoFrances OllerJordi ForgaJosep M. SolanasPublished in: CAMAD (1994)