SwePub
Tyck till om SwePub Sök här!
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "db:Swepub ;pers:(Jantsch Axel);srt2:(2000)"

Sökning: db:Swepub > Jantsch Axel > (2000)

  • Resultat 1-10 av 12
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  •  
3.
  •  
4.
  • Jantsch, Axel, et al. (författare)
  • A metamodel for studying concepts in electronic system design
  • 2000
  • Ingår i: IEEE Design & Test of Computers. - : IEEE Press. - 0740-7475 .- 1558-1918. ; 17:3, s. 78-85
  • Tidskriftsartikel (refereegranskat)abstract
    • By using the four domains of computation, data, communication, and time, this model can represent mixed hardware/software designs and related co-design processes at various levels of abstraction.
  •  
5.
  •  
6.
  •  
7.
  • Jantsch, Axel, et al. (författare)
  • Functional validation of mixed hardware/software systems based on specification, partitioning, and simulation of test cases
  • 2000
  • Ingår i: Design automation for embedded systems. - 0929-5585 .- 1572-8080. ; 5:1, s. 83-113
  • Tidskriftsartikel (refereegranskat)abstract
    • Tecs is a test case development methodology for the functional validation of large electronic systems, typically consisting of several custom hardware and software components. The methodology determines a hierarchical top-down test case development process including test case specification, validation, partitioning and implementation. The test case development process addresses the functional validation of the system and its components such as ASICs, boards, HW and software modules; it does not facilitate timing or performance verification. The system functions are used to define test cases at the system level and to derive sub-functions for the system components. Test cases are specified, using a special purpose formalism, and validated before they are applied to the system under test. Furthermore, we propose a technique to partition test cases corresponding to the partitioning of the system into sub-systems and components. This technique can significantly reduce system simulation time because it allows the full validation of system functions by simulation at the sub-system and component level. The system model need only be simulated with a reduced set of stimuli to validate the interfaces between sub-systems. We present a test case specification language and tools that support the proposed methodology. The validation of a switching function illustrates methodology, language, and tools.
  •  
8.
  •  
9.
  •  
10.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 12

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy