North Carolina State University, College of Engineering

• Department of Computer Science
  Tech reports (www) & (ftp)
  Papers (www) & (ftp) from Automated Techniques for Verifying Concurrent Systems project
  Human contact - <Tim_Lowman@ncsu.edu>
  
• Department of Electrical and Computer Engineering
  Tech reports (www) & (ftp) from Electronics Research Lab
  Tech reports (ftp) from vlsi group