Memory arbiter synthesis and verification for a radar memory interface card
author                    
                    
                
statement of authorship                    
                    
J.-P.Ernits
                            
                    
source                    
                    
Nordic journal of computing
                            
                    
journal volume number month                    
                    
12
                            
                    
year of publication                    
                    
                
pages                    
                    
2, p. 68-88
                            
                    
subject term                    
                    
                
language                    
                    
inglise
                            
                    
                            Ernits, J.-P. Memory arbiter synthesis and verification for a radar memory interface card // Nordic journal of computing (2005) 12, 2, p. 68-88.