Bit-serial VLSI sorter with high reliability specifications.

E. D. Adamides Philippos G. Tsalides Adonios Thanailakis

Published in: Microprocess. Microprogramming (1994)

Keyphrases

high reliability
high precision
low cost
signal processing
vlsi design
formal specification
low overhead
delay insensitive
high speed
remote control
control flow
vlsi circuits
bit vectors
single chip
high level
vlsi implementation
specification language
logic programs
data sets