The through simulation of devices on the basis of the structural linguistic method | IEEE Conference Publication | IEEE Xplore