Digital Logic Modeling System based on MODLAN | IEEE Conference Publication | IEEE Xplore