This preview shows pages 1–11. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: how it does it e.g. find roots of polynomial but not which algorithm or what hardware Good specification is complete unambiguous adequate to use the system as a component in a more complex system adequate to serve as a basis to implement the system 6 High level and Binary level Specifications High level: system is described by a function on finite sets, z = F(x) Binary level: all variables are binary, i.e. {0, 1} z b = F b (x b ) where z b and x b are vectors of binary variables and, F b ( ) is a binary function Mapping between the two via coding and decoding functions Coding: maps each distinct value of x to a different combination of bits of x b Decoding: maps each distinct value of z to a different combination of bits of z b 7 Standard code for Alphanumeric characters 8 Binary code 9 Gray code 10 Coding Decimal Digits 11...
View
Full
Document
 Fall '08
 CABRIC

Click to edit the document details