Directed Symbolic Execution for VLSI Circuits.

Biswajit Bhowmik Jatindra Kumar Deka Santosh Biswas

Published in: SMC (2015)

Keyphrases

vlsi circuits
symbolic execution
static analysis
test generation
test data generation
specification language
source code
low power
data flow
mixed signal
test cases
high level
description language
artificial intelligence
power consumption
high speed
low cost