HW/SW specification using OOM techniques.

Mario Calha João Paulo Teixeira Isabel C. Teixeira

Published in: RSP (1996)

Keyphrases

hw sw
hardware software
embedded systems
design methodology
formal specification
hardware software partitioning
high level
hardware and software
field programmable gate array
response time
open source
business rules
computing resources
high performance computing
parallel execution