Functional Models for VLSI Design | IEEE Conference Publication | IEEE Xplore