mixed Boolean/integer variable domains
ConceptMixed Boolean/integer variable domains are variable domains that combine Boolean and integer variables. In the cited hardware-verification work, they appear in the context of constrained random simulation, where efficient stimulus generation depends on solving constraints over such domains with good performance and solution distribution.
WIKI
mixed Boolean/integer variable domains
Mixed Boolean/integer variable domains combine Boolean variables and integer variables within the same constraint-solving problem.
In the cited work on constrained random simulation for hardware verification, these domains are the setting for stimulus generation: input stimuli must be generated randomly while obeying declaratively specified input constraints. The paper frames efficient constraint solving for mixed Boolean/integer variable domains as an important part of the overall verification flow, and it presents a hybrid solver based on Markov-chain Monte Carlo methods for this purpose.
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →