A Logic Based Hardware Development Environment.

Samir Belkacemi, Khaled Benkrid, Danny Crookes

Browse the full FCCM paper archive.