Formalization Approach to Early Design Synthesis

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

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

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


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

    Cite this