Validating Formal Hardware Specifications Through Generated Behavioral Models.

Robert Kunzelmann, Zeyad Tahoun, Vinod Bangalore Ganesh, Maximilian Berger, Emil Baerens, Wolfgang Ecker

Browse the full DATE paper archive.