Formalization Approach to Early Design Synthesis

William Brace, Eric Coatanéa, Heikki Kauranne, Matti Heiska

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Original languageEnglish
    Title of host publication6th International Conference on Integrated Design and Production, CPI 2009, in Fés, Marocco, October 19-21, 2009
    Pagesxx
    Publication statusPublished - 2009
    MoE publication typeA4 Article in a conference publication

    Keywords

    • behaviour
    • design automation
    • design synthesis
    • early design analysis
    • formal design
    • function-base design

    Cite this