An Efficient Implementation Of Reactivity For Modeling Hardware In The Scenic Design Environment | IEEE Conference Publication | IEEE Xplore