作者: Subrata Dasgupta
DOI: 10.1016/S0065-2458(08)60568-9
关键词:
摘要: Publisher Summary In the area of programming, power languages helps to shape thoughts on computation and direct them along one path rather than another, create particular set mental pictures in preference others. The chapter observes that there exist a large number language proposals for hardware specification at various levels abstraction. This examines detail description computer hardware, with emphasis architecture descriptions. considers nature can be used design systems, commonly referred as (CDDLs). Further applicability these depends largely development appropriate language-based methods automated systems. With continuing advances, shift from language-design issues problem methodologies, environments systematic, rigorous, verifiable implementation architectures noticed.