Improving the productivity of high-level synthesis by advancing reuseability and verifiability
As the complexity of applications continues to grow to meet user demands, the complexity of hardware platforms continues to grow correspondingly. Thus, the hardware design flow is a critical methodology to handle continued growth in design complexity. Whether targeting application-specific integr...
Main Author: | Yang, Liwei |
---|---|
Other Authors: | Douglas Leslie Maskell |
Format: | Thesis |
Language: | English |
Published: |
2017
|
Subjects: | |
Online Access: | http://hdl.handle.net/10356/69552 |
Similar Items
-
Verify /
by: Hoover, Colleen, author 595716
Published: (Ligh) -
System-level FPGA device driver with high-level synthesis support
by: Vipin, Kizheppatt, et al.
Published: (2015) -
A formal methodology for verifying side-channel vulnerabilities in cache architectures
by: Jiang, Ke, et al.
Published: (2023) -
A Verified Compiler for a Functional Tensor Language
by: Liu, Amanda, et al.
Published: (2024) -
Factors Contributing to the Acceptance of Verify Halal App Among the Malaysian Muslim Consumers
by: Wan Ismail, Wan Izni, et al.
Published: (2024)