asicandfpgaverificationaguidetocomponentmodeling