▁Ze id man , ▁Robert ▁M ., ▁H af eman , ▁Daniel ▁R ., ▁“ Method ▁and ▁appar atus ▁for ▁em ulating ▁a ▁hardware / software ▁system ▁using ▁a ▁computer ,” ▁U . S . ▁Pat ent ▁ 7 , 6 4 7 , 5 8 3 . ▁ ▁Ze id man , ▁Robert ▁Marc , ▁“ Det ect ing ▁pl ag iar ism ▁in ▁computer ▁source ▁code ,” ▁U . S . ▁Pat ent ▁ 7 , 8 2 3 , 1 2 7 . ▁ ▁Ze id man , ▁Robert ▁Marc , ▁" App ar atus ▁and ▁method ▁for ▁connecting ▁hardware ▁to ▁a ▁circuit ▁simulation ," ▁U . S . ▁Pat ent ▁ 7 , 8 3 5 , 8 9 7 . ▁ ▁Ze id man , ▁Robert ▁M ., ▁" So ftware ▁tool ▁for ▁synth es izing ▁a ▁real - time ▁operating ▁system ," ▁U . S . ▁Pat ent ▁ 7 , 8 8 2 , 4 8 8 . ▁ ▁Ze id man , ▁Robert ▁M . ▁and ▁Sn ider , ▁Gregory , ▁“ Using ▁readily ▁available ▁driver ▁and ▁application ▁source ▁code ▁with ▁a ▁synth es ized ▁operating ▁system ,” ▁U . S . ▁Pat ent ▁ 7 , 9 0 0 , 1 8 7 . ▁ ▁Ze id man , ▁Robert ▁M ., ▁H af eman , ▁Daniel ▁R ., ▁Bar r , ▁Michael , ▁“ Method ▁and ▁appar atus ▁for ▁synth es izing ▁a ▁hardware ▁system ▁from ▁a ▁software ▁description ,” ▁U . S