Your car is running software—lots of it. That software has bugs—lots of them. It is running on proprietary hardware that also has bugs. Designers are often working from specifications written in human language that are imprecise and ambiguous. The timeline from prototype to mass production is shrinking, leaving little time for full-scale tests. Wouldn't it be nice if designers had a way of specifying the expected behavior of whatever hardware/software system they designing when they are designing it? Wouldn't it be even better if those specifications were checked automatically during simulation?
This talk will present a new framework for writing specifications for the popular modeling language SystemC. It will present how the specification is converted to a runtime monitor, and how that monitor is embedded in the model without requiring manual efforts from the designer. Finally, it will show that the runtime overhead incurred by the framework is quite low, and then there will be cake.