Problem of consistency checking in mixed-signal SoC with IP co-design

Based on the discussion of operation consistency description method used for SoC design, the checking method about the operation consistency of IP (intellectual property) blocks is addressed in this paper. With the method, logical description of operation consistency specification can be built in SoC design. This work indicates that operation consistency design is a key point and will impact both architecture of hardware and software.

[1]  Luca Benini,et al.  Networks on Chips : A New SoC Paradigm , 2022 .

[2]  Kenneth S. Kundert,et al.  Design of mixed-signal systems-on-a-chip , 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[3]  G. A. Frantz.  System on a chip: a system perspective , 2001, 2001 International Symposium on VLSI Technology, Systems, and Applications. Proceedings of Technical Papers (Cat. No.01TH8517).

[4]  Stephan Merz,et al.  Model Checking , 2000 .

[5]  Aloysius K. Mok,et al.  Simulation-Verification: Biting at the State Explosion Problem , 2001, IEEE Trans. Software Eng..

[6]  Tsuneo Nakata,et al.  Functional verification of system on chips - practices, issues and challenges , 2002, Proceedings of ASP-DAC/VLSI Design 2002. 7th Asia and South Pacific Design Automation Conference and 15h International Conference on VLSI Design.

[7]  Li Zheying,et al.  User independent protocol system for network security , 2002, MILCOM 2002. Proceedings.

[8]  Reinaldo A. Bergamaschi,et al.  The A to Z of SoCs , 2002, ICCAD 2002.