The missing middle: Solving the logic solver gap in SIS design(04) Save Image Image gallery: Sis Logic Solvers