Automatic interface synthesis based on the classification of interface protocols of IPs

Yun, Chang-Ryul; Kang, Dong-Soo; Bae, Younghwan; Cho, Hanhn; Jhang, Kyoung-Son

doi:10.1109/aspdac.2008.4484020

Cited by 1 publication

(1 citation statement)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In contrast, we target direct communication models and use point-to-point interconnect structure for all on-chip communications. [28] [13] propose a method to generate interface circuits. The proposed solution produces flexible micro architectures from FSM descriptions of the two interfaces to be connected.…”

Section: Ii3 Related Workmentioning

confidence: 99%

Design and Verification Environment for High-Performance Video-Based Embedded Systems

Nentedem

2014

Distributed Embedded Smart Cameras

View full text Add to dashboard Cite

In this dissertation, a method and a tool to enable design and verification of computation demanding embedded vision-based systems is presented. Starting with an executable specification in OpenCV, we provide subsequent refinements and verification down to a system-on-chip prototype into an FPGA-Based smart camera. At each level of abstraction, properties of image processing applications are used along with structure composition to provide a generic architecture that can be automatically verified and mapped to the lower abstraction level. The result is a framework that encapsulates the computer vision library OpenCV at the highest level, integrates Accelera's System-C/TLM with UVM and QEMU-OS for virtual prototyping and verification and mapping to a lower level, the last of which is the FPGA. This will relieve hardware designers from time-consuming and error-prone manual implementations, thus allowing them to focus on other steps of the design process. We also propose a novel streaming interface, called Component Interconnect and Data Access (CIDA), for embedded video designs, along with a formal model and a component composition mechanism to cluster components in logical and operational groups that reduce resource usage and power consumption.

show abstract

Section: Ii3 Related Workmentioning

confidence: 99%

Design and Verification Environment for High-Performance Video-Based Embedded Systems

Nentedem

2014

Distributed Embedded Smart Cameras

View full text Add to dashboard Cite

show abstract

Automatic interface synthesis based on the classification of interface protocols of IPs

Cited by 1 publication

References 4 publications

Design and Verification Environment for High-Performance Video-Based Embedded Systems

Design and Verification Environment for High-Performance Video-Based Embedded Systems

Contact Info

Product

Resources

About