Models of Circuits and Their Elements for Functional Decomposition and Verification at the Stage of Computer Systems' PC Boards Design | IEEE Conference Publication | IEEE Xplore