Applying the Ideal Testing Framework to HDL Programs | VDE Conference Publication | IEEE Xplore