Background In high-level SoC design, system behavior can be described in C-like programming languages.
{"Image DocumentName": "BackgroundIn high-level SoC design, system behavior can be described in C-like programming languages.", "Image ImageDescription": "Target both hardware and software. Tool support is not sufficient. Difficulties compared with RTL or lower design descriptions. Many wide-bit word-level signals (large exploration space) Complicated control flow (many paths) Difficulty in modeling various descriptions. SW: pointers, pointer-arithmetic, casting, dynamic allocation, recursive calls\u2026 HW: concurrency, synchronization, throughput, latency\u2026 Our goal is to assist test case generation for system-level descriptions in C-like languages. Automatic input pattern generation. Assertion-based verification to find bugs. For higher code coverage that results in higher confidence.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}