A Methodology for the Design of Guaranteed Correct and Efficient Digital Systems

P.F.A. Middelhoek, C. Huijs, G.E. Mekenkamp, E.W. Prangsma, E. Engels

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

    Original languageUndefined
    Title of host publicationHigh Level Design Validation and Test Workshop 1996
    Place of PublicationOakland
    Pages-
    Number of pages16
    Publication statusPublished - 15 Nov 1996

    Keywords

    • METIS-119453

    Cite this

    Middelhoek, P. F. A., Huijs, C., Mekenkamp, G. E., Prangsma, E. W., & Engels, E. (1996). A Methodology for the Design of Guaranteed Correct and Efficient Digital Systems. In High Level Design Validation and Test Workshop 1996 (pp. -). Oakland.
    Middelhoek, P.F.A. ; Huijs, C. ; Mekenkamp, G.E. ; Prangsma, E.W. ; Engels, E. / A Methodology for the Design of Guaranteed Correct and Efficient Digital Systems. High Level Design Validation and Test Workshop 1996. Oakland, 1996. pp. -
    @inproceedings{5ddc3c88adc04b319b596a4fff17235a,
    title = "A Methodology for the Design of Guaranteed Correct and Efficient Digital Systems",
    keywords = "METIS-119453",
    author = "P.F.A. Middelhoek and C. Huijs and G.E. Mekenkamp and E.W. Prangsma and E. Engels",
    year = "1996",
    month = "11",
    day = "15",
    language = "Undefined",
    pages = "--",
    booktitle = "High Level Design Validation and Test Workshop 1996",

    }

    Middelhoek, PFA, Huijs, C, Mekenkamp, GE, Prangsma, EW & Engels, E 1996, A Methodology for the Design of Guaranteed Correct and Efficient Digital Systems. in High Level Design Validation and Test Workshop 1996. Oakland, pp. -.

    A Methodology for the Design of Guaranteed Correct and Efficient Digital Systems. / Middelhoek, P.F.A.; Huijs, C.; Mekenkamp, G.E.; Prangsma, E.W.; Engels, E.

    High Level Design Validation and Test Workshop 1996. Oakland, 1996. p. -.

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

    TY - GEN

    T1 - A Methodology for the Design of Guaranteed Correct and Efficient Digital Systems

    AU - Middelhoek, P.F.A.

    AU - Huijs, C.

    AU - Mekenkamp, G.E.

    AU - Prangsma, E.W.

    AU - Engels, E.

    PY - 1996/11/15

    Y1 - 1996/11/15

    KW - METIS-119453

    M3 - Conference contribution

    SP - -

    BT - High Level Design Validation and Test Workshop 1996

    CY - Oakland

    ER -

    Middelhoek PFA, Huijs C, Mekenkamp GE, Prangsma EW, Engels E. A Methodology for the Design of Guaranteed Correct and Efficient Digital Systems. In High Level Design Validation and Test Workshop 1996. Oakland. 1996. p. -