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:
29: (C) 2008-13, DJ Greaves, University of Cambridge, Computer Laboratory. |