Scribd Logo
Upload

Welcome to Scribd!

  • Make File

    Uploaded by

    Nishanth Gowda
    10 views1 page
    This Makefile summarizes the design flow and checks for the lsxlib library. It specifies the physical synthesis as Alliance and the design kit as lsxlib. It defines targets for characterizing the library, checking specific library cells against testbenches, and running symbolic and Dreal simulations on the library cells.

    Original Description:

    linux

    Copyright

    © © All Rights Reserved

    Available Formats

    TXT, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    This Makefile summarizes the design flow and checks for the lsxlib library. It specifies the physical synthesis as Alliance and the design kit as lsxlib. It defines targets for characterizing the library, checking specific library cells against testbenches, and running symbolic and Dreal simulations on the library cells.

    Copyright:

    © All Rights Reserved
    Download as TXT, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as txt, pdf, or txt
    10 views1 page

    Make File

    Uploaded by

    Nishanth Gowda
    This Makefile summarizes the design flow and checks for the lsxlib library. It specifies the physical synthesis as Alliance and the design kit as lsxlib. It defines targets for characterizing the library, checking specific library cells against testbenches, and running symbolic and Dreal simulations on the library cells.

    Copyright:

    © All Rights Reserved
    Download as TXT, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as txt, pdf, or txt
    of 1

    # -*- explicit-buffer-name: "Makefile<alliance-check-toolkit/lsxlib>" -*-

    PHYSICAL_SYNTHESIS = Alliance
    DESIGN_KIT = lsxlib

    include ./mk/design-flow.mk
    include ./mk/check-library.mk

    export MBK_CATA_LIB = $(CELLS_TOP)/lsxlib

    characterize: lsxlib-dot-lib

    check-lib-test: ./check/mx2_x0.ok
    # ./check/noa2a22_x0.ok
    # ./check/invbuf_x3.ok
    #./check/sffram2bw2r2.vhd
    # ./check/ctrw2r2_x1.ok
    # ./check/sram2b.ok

    Sgraal:
    export RDS_TECHNO_NAME=techno/symbolic.rds;\
    export GRAAL_TECHNO_NAME=techno/symbolic.graal;\
    graal -l $(C)

    Rgraal:
    export RDS_TECHNO_NAME=techno/sky130_lsx.rds;\
    export GRAAL_TECHNO_NAME=techno/symbolic.graal;\
    graal -l $(C)

    Dreal:
    export RDS_TECHNO_NAME=techno/sky130_lsx.rds;\
    export GRAAL_TECHNO_NAME=techno/symbolic.drea;\
    export RDS_OUT=cif;\
    export RDS_IN=cif;\
    s2r -t $(C);\
    dreal -l $(C)

    check-clean: ; rm -f ./check/*

    You might also like