A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set.

Martin Schickel, Martin Oberknig, Martin Schweikert, Hans Eveking

Browse the full FDL paper archive.