HOME       UP       PREV       NEXT (Synthesis from Formal Specification)  

Synthesis from Declarative Specifications

Rather than specify the algorithm (behaviour) we specify the required outcome.

Rather like constraint-based linear programming, the design is a piece of hardware that satisifes a number of simultaneous assertions.

Examples:


26: (C) 2008-11, DJ Greaves, University of Cambridge, Computer Laboratory.