[图书][B] The synthesis approach to digital system design

P Michel, U Lauther, P Duzy - 1992 - books.google.com
Over the past decade there has been a dramatic change in the role played by design
automation for electronic systems. Ten years ago, integrated circuit (IC) designers were …

Formal synthesis in circuit design—A classification and survey

R Kumar, C Blumenröhr, D Eisenbiegler… - Formal Methods in …, 1996 - Springer
This article gives a survey on different methods of formal synthesis. We define what we
mean by the term formal synthesis and delimit it from the other formal methods that can also …

Constrained proofs: A logic for dealing with behavioural constraints in formal hardware verification

M Mendler - Designing Correct Circuits: Workshop jointly organised …, 1991 - Springer
The application of formal methods to the design of correct computer hardware depends
crucially on the use of abstraction mechanisms to partition the synthesis and verification task …

Formally embedding existing high level synthesis algorithms

D Eisenbiegler, R Kumar - … Conference on Correct Hardware Design and …, 1995 - Springer
This paper introduces a general scheme for formally embedding high level synthesis by
formulating its basic steps as transformations within higher order logic. A functional …

[PDF][PDF] An approach to multi-paradigm controller synthesis from timing diagram specifications

WD Tiedemann - Proceedings of the conference on European design …, 1992 - academia.edu
Given u controller speci $ cation, it is attractive to syrtthesize alternative impletnt? ntalions.
followittg d (fferenl design paradigms such as synchronous, asynchronous or mixed-mode …

[PDF][PDF] Design-Flow and Synthesis for ASICs: a case study

M Bombana, P Cavalloro, S Conigliaro… - Proceedings of the …, 1995 - dl.acm.org
The growing complexity of devices to be designed and manufactured, and the need to
reduce the time–to–market, stress the importance of sound design methodologies. In this …

[图书][B] Embedding a CHDDL in a Proof System

KGW Goossens - 1991 - Citeseer
This paper describes how a formal semantics for a computer hardware design and
description language may be embedded in a proof system. An abstraction of ELLA1, its …

The lambda approach to system verification

RB Hughes, G Musgrave - Hardware/Software Co-design, 1996 - Springer
Formal methods have a history which is much longer than many people realise. The use of
formal methods began several centuries ago, when mathematicians used formal methods …

[PDF][PDF] Proof-aided design of verified hardware

H Busch, G Venzl - Proceedings of the 28th ACM/IEEE Design …, 1991 - dl.acm.org
3 “ital hardware by theorem-proving is presented. various esign aspects like parameterized
retiming of synctironous sy terns and constrained refinement are formalized in a unifor …

Embedding Hardware Description Languages in Proof Systems

KGW Goossens - 1992 - research.tue.nl
The aim of this thesis is to investigate the integration of hardware description lamguaages
(HDLs) and automated proof systems. Simulation of circuit designs written in an HDL is an …