A Practical Approach to Verification of Multicore Microprocessor Models
A Practical Approach to Verification of Multicore Microprocessor Models is a scholarly work, published in 2018 in ''Problems of advanced micro- and nanoelectronic systems development''. The main subjects of the publication include programming language, computer architecture, real-time operating system, microprocessor, multi-core processor, reconfigurable computing, parallel computing, and computer science.