Added more hardware trojan modeling stuff.