METHODOLOGY FOR DERIVING EXECUTABLE LOW-LEVEL STRUCTURAL DESCRIPTIONS AND VALID PHYSICAL IMPLEMENTATIONS OF CIRCUITS AND SYSTEMS FROM HIGH-LEVEL SEMANTIC SPECIFICATIONS AND DESCRIPTIONS THEREOF
摘要
申请公布号
US5222030(A)
申请公布日期
1993.06.22
申请号
US19900507201
申请日期
1990.04.06
申请人
LSI LOGIC CORPORATION
发明人
DANGELO, CARLOS;NAGASAMY, VIJAY K.;BOOTEHSAZ, AHSAN;RAJAN, SREERANGA P.