A design environment with simulation and formal verification (syr-padde). - Miquel Bertran; Felipe Alvarez-Cuevas; Joan Viaplana; Albert Duran; Daniel Cabedo; Antoni Garrell; Josep Maria Garrell i Guiu; Francesc Escudero; Miquel Nicolau; Miquel Porta; Bartomeu Palmer; Joan M. Espejo; et al. (CAMAD, 1994)