Searching for authors named "Hillel Miller" – sorted by Relevance.
-
Modeling Design Constraints and Biasing in Simulation Using BDDs
- this paper we provide an alternative approach to environment modeling --- we introduce a tool, SimGen, and an associated methodology which employs user-specified constraints to model the interaction between the design and its environment. Constraints are Boolean formulas involving the design signal
- Cited by 23 (3 self) – Add To MetaCart

