Verification of FPGA application design by model checking

    Research output: Contribution to conferenceOther conference contributionScientific

    Original languageEnglish
    Publication statusPublished - 2016
    MoE publication typeNot Eligible
    Event9th International Workshop on the Application of Field Programmable Gate Arrays in Nuclear Power Plants - Lyon, France
    Duration: 3 Oct 20166 Oct 2016

    Workshop

    Workshop9th International Workshop on the Application of Field Programmable Gate Arrays in Nuclear Power Plants
    Country/TerritoryFrance
    CityLyon
    Period3/10/166/10/16

    Keywords

    • model checking
    • FPGA
    • PLD
    • formal verification
    • nuclear power

    Cite this