Temporal Refinement in Co-Design - Université d'Artois Access content directly
Conference Papers Year : 2008

Temporal Refinement in Co-Design

Abstract

This paper shows how it is possible to employ refinement concept of B formal method in hardware design. The structural, logical and temporal properties of a Hardware Description Language that is enriched with annotations of the Property Specification language are projected into B model. Then the generated B image is analyzed, using B method tools, in order to prove the initial properties. This technique produces a correct by design component.

Keywords

No file

Dates and versions

hal-03526461 , version 1 (14-01-2022)

Identifiers

Cite

Ammar Aljer, Jean-Louis Boulanger, Philippe Devienne. Temporal Refinement in Co-Design. Communication Technologies: from Theory to Applications (ICTTA), Apr 2008, Damascus, France. pp.1-6, ⟨10.1109/ictta.2008.4530351⟩. ⟨hal-03526461⟩
6 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More