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

Temporal Refinement in Co-Design


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.


No file

Dates and versions

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



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



Gmail Facebook X LinkedIn More