RECOVERY OF THREE DIMENSIONAL HIERARCHICAL BRANCHING ARBORESCENT PATTERNS: EQUATIONS AND DERIVATION
DOI:
Author:
Affiliation:
Clc Number:
Fund Project:
Article
|
Figures
|
Metrics
|
Reference
|
Related
|
Cited by
|
Materials
|
Comments
Abstract:
Applying VHDL to support the design of embedded system is a way to extend VHDL to support system level design.In this paper,the authors observe several typical specification languages which supporting system level design,all the languages integrated VHDL into their methodologies.Based on the observation,the authors summarize the basic key points of a specification language which supporting system level design,and point out that combining formal methods with VHDL can produce an effective design assis-tant tool.
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.