Semantics and transformations in formal synthesis at system level

DOI10.1007/3-540-45575-2_16MaRDI QIDQ3043815zbMATH OpenFDO

Authors Christian Blumenröhr, Kai Kapp, Viktor K. Sabelfeld

Publication date 6 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2244/22440149.htm

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Perspectives of System Informatics
• An automata theory dedicated towards formal circuit synthesis
• Formal synthesis for pipeline design
• System Semantics and formal circuit description
• Synthesis of reactive systems: Application to asynchronous circuit design

Cited in

(8)

• Modeling multi-rate DSP specification semantics for formal transformational design in HOL
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• An automata theory dedicated towards formal circuit synthesis
• System Semantics and formal circuit description
• Dependent types and formal synthesis
• Formal synthesis for pipeline design
• scientific article; zbMATH DE number 3993456 (Why is no real title available?)
• Modeling a hardware synthesis methodology in Isabelle

This page was built for publication: Semantics and transformations in formal synthesis at system level

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3043815)