A holistic approach to vehicle system design
This paper describes an approach to vehicle system design that uses standardized, hierarchical functions as a single level to describe electrical, electronic, and software content. Domain-specific implementation levels are then generated in a synthesis process, and evaluated using suitable metrics. The focus is on rapid, iterative optimization and on cross-domain architecture evaluation and validation.
Related resources
Closing the Gap in Software Skills for Verification Engineers
I'm excited to announce next month's U2U (User-to-User) meeting, followed by a crucial technical training session that no hardware verification…
SLEC System Factsheet
SLEC System is a good fit for design teams verifying their RTL implementation by formally comparing it against functional SystemC/C++ models
Catapult High-Level Synthesis and Verification Fact Sheet
Industry leading C++/SystemC High-Level Synthesis with Low-Power estimation/optimization. Design checking, code and functional coverage verification plus formal make HLS more than mere “C to RTL.