Resource-aware run-time elaboration of behavioural FPGA specifications.
Usama MalikKeith SoOliver DiesselPublished in: FPT (2002)
Keyphrases
- real time
- real time image processing
- field programmable gate array
- delay insensitive
- high speed
- low cost
- specification language
- signal processing
- hardware implementation
- computer mediated
- fpga implementation
- database
- hardware design
- gate array
- learning technology standards
- hardware architectures
- run times
- verilog hdl
- software implementation
- single chip
- functional requirements
- formal specification
- finite state machines
- low power
- model checking
- software development
- artificial intelligence