The Conference is an international forum for researchers (ACM), engineers, teachers and students/hackers. Complex heterogeneous SW/HW embedded systems, products, education&industrial cases and more based on FPGA technology. FPGAworld sponsor the academic&industrial tracks, lunches, premises, administrations etc. from sponsors and exhibitors.
Meet the InnoFour representatives at FPGA world in our exhibition booth or attend our presentation about Automatic Formal Checks for FPGA designs.
Automatic Formal Checks for FPGA designs
RTL designers can’t wait for a test bench to begin checking the quality of their code and verifying the functionality they’ve started to implement is on the right track. Assertion-based verification can be employed, but even basic properties in standard languages like SVA or PSL are time consuming to create, debug, and maintain.
The Questa AutoCheck app makes it easy to triage bugs that would otherwise require a lot of time and effort to eliminate, such as state-machine deadlock and livelock, arithmetic overflow, out-of-range memory indexing and many more.
AutoCheck’s rich debugging environment pinpoints the root cause of these bugs with schematics, waveforms and FSM state diagrams, making it quick and easy to use.
Fore more information about the conference or other locations visit: www.fpgaworld.com
Tuesday the 13th of September
This webinar explores the technologies used in visual displays for modern electronic applications. LCD display constituents, such as advanced glass substrates, human machine interfaces (HMI) like touch recognition and illumination improvements will be some of the topics of discussion.Reliability Life Cycle Maturity Model (RLCMM) Different Levels of Reliability Design Processes
This presentation describes the different RLCMM levels starting from companies beginning to implement a reliability practice to a best-in-class reliability practice for complex systems. A low RLCMM level implies a company depends more on system and field testing to achieve their reliability targets.