From One To Many: Checking A Set Of Models Rohit Dureja and Kristin - PowerPoint PPT Presentation

From One To Many: Checking A Set Of Models Rohit Dureja and Kristin Yvonne Rozier Iowa State University October 4, 2017

Motivation Complex systems’ design often requires analyzing several models of the system under development. Rohit Dureja From One To Many: Checking A Set Of Models 1 / 3

Motivation Complex systems’ design often requires analyzing several models of the system under development. Narrowing in on the final system design, Rohit Dureja From One To Many: Checking A Set Of Models 1 / 3

Motivation Complex systems’ design often requires analyzing several models of the system under development. Narrowing in on the final system design, Check capabilities of systems with varying features, and Rohit Dureja From One To Many: Checking A Set Of Models 1 / 3

Motivation Complex systems’ design often requires analyzing several models of the system under development. Narrowing in on the final system design, Check capabilities of systems with varying features, and Regression development to make a design robust. Rohit Dureja From One To Many: Checking A Set Of Models 1 / 3

Motivation Complex systems’ design often requires analyzing several models of the system under development. Narrowing in on the final system design, Check capabilities of systems with varying features, and Regression development to make a design robust. Rohit Dureja From One To Many: Checking A Set Of Models 1 / 3

Contributions Report Rohit Dureja From One To Many: Checking A Set Of Models 2 / 3

Results Typical IC3 2500 Checking time (minutes) Incremental IC3 FuseIC3 2000 FuseIC3+Ordering 1500 FuseIC3+Ranking 1000 500 0 0 5 10 15 20 25 30 34 Property ID Rohit Dureja From One To Many: Checking A Set Of Models 3 / 3