The following pages link to Cindy Eisner (Q202473):
Displaying 12 items.
- Functional verification of power gated designs by compositional reasoning (Q1039850) (← links)
- Model checking at IBM (Q1870213) (← links)
- Functional Specification of Hardware via Temporal Logic (Q3176382) (← links)
- Functional Verification of Power Gated Designs by Compositional Reasoning (Q3512508) (← links)
- (Q4449225) (← links)
- (Q4551164) (← links)
- (Q4738482) (← links)
- Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations (Q5169969) (← links)
- A topological characterization of weakness (Q5177218) (← links)
- Computer Aided Verification (Q5900668) (← links)
- Efficient detection of vacuity in temporal model checking (Q5943261) (← links)
- On the effective deployment of functional formal verification (Q5946345) (← links)