Publication Records

2007

1. Verifying VHDL Designs with Multiple Clocks in SMV

   SMRČKA, Aleš, Vojtěch ŘEHÁK, Tomáš VOJNAR, David ŠAFRÁNEK, Petr MATOUŠEK and Zdeněk ŘEHÁK. Verifying VHDL Designs with Multiple Clocks in SMV. Online. In Formal Methods Applications and Technology, 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006. Bonn: Springer-Verlag. p. 148-164, 16 pp. ISBN 978-3-540-70951-0

   More: https://is.muni.cz/publication/639264/en