Paul Amblard, Fabienne Lagnier, Michel Lévy. Using Formal Tools to Study Complex Circuits Behaviour. In 2002 Euromicro Symposium on Digital Systems Design (DSD 2002), Systems-on-Chip, 4-6 September 2002, Dortmund, Germany. pages 180-186, IEEE Computer Society, 2002. [doi]
Abstract is missing.