D
Dominique Borrione
Researcher at University of Grenoble
Publications - 115
Citations - 943
Dominique Borrione is an academic researcher from University of Grenoble. The author has contributed to research in topics: Formal verification & Automated theorem proving. The author has an hindex of 16, co-authored 115 publications receiving 927 citations. Previous affiliations of Dominique Borrione include Artemis & École Normale Supérieure.
Papers
More filters
Proceedings ArticleDOI
Proven correct monitors from PSL specifications
TL;DR: The salient aspects of the proof of the prototype implementation of the original method to synthesize monitors from declarative specifications written in the PSL standard are discussed.
Journal ArticleDOI
Formal verification of VHDL descriptions in the Prevail environment
TL;DR: Prevail, a formal verification environment for proving the equivalence of two very-high-speed integrated circuit hardware description language (VHDL) design architectures, is described.
Journal ArticleDOI
A formal approach to the verification of networks on chip
TL;DR: This paper addresses the formal verification of NoCs by means of a mechanized proof tool, the ACL2 theorem prover, and develops and implements a metamodel for NoCs that satisfies a generic correctness statement.
Book ChapterDOI
Design error diagnosis in sequential circuits
Ayman Wahba,Dominique Borrione +1 more
TL;DR: A new diagnostic algorithm for localising design errors in sequential circuits based on the new concept of possible next states describing the possible states of the circuit due to the existence of the error is presented.
Proceedings ArticleDOI
A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study
TL;DR: A generic formal model for NoC's has been developed and implemented in the ACL2 theorem prover, and the HERMES network has been formalized in this model, and it is shown that both formal proofs and simulation experiments can be performed in ACL2.