A relational algebraic framework for VHDL models management

Transactions of the Society for Computer Simulation

Volumn 15, Issue 2, 1998, Pages 43-55

  Park, Hyu Chan ^a   Kim, Tag Gon ^b  

^a Korea Maritime University   (South Korea)

^b Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

Models management; Relational algebra; System entity structure; VHDL

Indexed keywords

ALGEBRA; AUTOMATION; FORMAL LOGIC; HIERARCHICAL SYSTEMS; INTEGRATED CIRCUIT LAYOUT; MATHEMATICAL MODELS; RELATIONAL DATABASE SYSTEMS; VLSI CIRCUITS;

RELATIONAL ALGEBRA; VERY HIGH SPEED INTEGRATED CIRCUIT HARDWARE DESCRIPTION LANGUAGES;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0032090610     PISSN: 07406797     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (17)

1. Augustin, L. M. et al. Hardware Design and Simulation in VAL/VHDL, Kluwer Academic Publishers, Boston, 1991.
2. Baraona, P., Penix, J. and Alexander, P. "VSPEC: A Declarative Requirements Specification Language for VHDL." High-Level System Modeling: Specification Languages, Kluwer Academic Publishers, J. M. Berge, O. Levia, and J. Rouilard, editors, pp 51-75, 1995.
3. Codd, E. F. "A Relational Model of Data for Large Shared Data Banks." Communications of the ACM, Vol. 13, No. 6, pp 377-387, June 1970.
4. Codd, E. F. "Extending the Database Relational Model to Capture More Meaning." ACM Transactions on Database Systems, Vol. 4, No. 4, pp 397-434, December 1979.
5. Date, C. J. A Guide to The SQL Standard, Addison-Wesley, Massachusetts, 1989.
6. Kim, T. G., Lee, C., Christensen, E. R. and Zeigler, B. P. "System Entity Structuring and Model Base Management." IEEE Transactions on Systems, Man, and Cybernetics, Vol. SMC-20, No. 5, pp 1013-1024, September/October 1990.
7. Lee, T. T. and Lai, M. Y. "A Relational Algebraic Approach to Protocol Verification." IEEE Transactions on Software Engineering, Vol. SE-14, No. 2, pp 184-193, February 1988.
8. Lipsett, R., Schaefer, C. F. and Ussery, C. VHDL: Hardware Description and Design, Kluwer Academic Publishers, Boston, 1989.
9. Patterson, D. A. and Hennesy, J. L. Computer Architecture: A Quantitative Approach, Morgan Kaufmann Publishers, San Mateo, CA, 1990.
10. Park, H. C. "Relational Algebraic Framework for Management of Multifacetted Systems." PhD Dissertation, KAIST, Taejon, Korea, 1995.
11. Park, H. C. and Kim, T. G. "Relational Algebraic System Entity Structure for Models Management." IEE Computers and Digital Techniques, Vol. 32, No. 1, pp 49-54, January 1996.
12. Park, H. C., Lee, W. B. and Kim, T. G. "RASES: A Database Supported Framework for Structured Model Base Management." Journal of Simulation Practice and Theory, Vol. 5, No. 4, pp 289-313, May 1997.
13. Sevinc, S. and Zeigler, B. P. "Entity Structure Based Design Methodology: A LAN Protocol Example." IEEE Transactions on Software Engineering, Vol. SE-14, No. 3, pp 604-611, March 1988.
14. Vahid, F., Narayan, S. and Gajski, D. D. "SpecChart: A VHDL Front-End for Embedded Systems." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 14, No. 6, pp 694-706, June 1995.
15. Zeigler, B. P. Multifacetted Modelling and Discrete Event Simulation, Academic Press, London, 1984.
16. Zeigler, B. P., Luh, C. J. and Kim, T. G. "Model Base Management for Multifacetted Systems." ACM Transactions on Modeling and Computer Simulation, Vol. 1, No. 3, pp 195-218, July 1991.
17. Zhang, G. and Zeigler, B. P. "The System Entity Structure: Knowledge Representation for Simulation Modeling and Design." Artificial Intelligence, Simulation and Modeling. John Wiley & Sons, New York, L. E. Widman, K. A. Loparo, and N. R. Nielsen, editors, pp 47-73, 1989.