Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface.
Bo-Yuan HuangSteven LyubomirskyYi LiMike HeGus Henry SmithThierry TambeAkash GaonkarVishal CanumallaAndrew CheungGu-Yeon WeiAarti GuptaZachary TatlockSharad MalikPublished in: ACM Trans. Design Autom. Electr. Syst. (2024)
Keyphrases
- application level
- network services
- operating system
- user interface
- computer systems
- windows xp
- network management
- quality of service
- hardware design
- virtual machine
- bottle neck
- software development
- overlay network
- abstraction layer
- personal computer
- software implementation
- hardware software
- embedded systems
- software systems
- real time
- hardware platforms
- dedicated hardware
- field programmable gate array
- parallel implementation
- data flow
- software engineering
- data analysis
- artificial intelligence