Search the dblp DataBase

Publications of Author

1. Amjad Hajjar, Tom Chen, Isabelle Munn, Anneliese Amschler Andrews, Maria Bjorkman
   High quality behavioral verification using statistical stopping criteria. [Citation Graph (0, 0)][DBLP]
   DATE, 2001, pp:411-419 [Conf]
   
2. Amjad Hajjar, Tom Chen
   An Accurate Coverage Forecasting Model for Behavioral Model Verification. [Citation Graph (0, 0)][DBLP]
   DELTA, 2002, pp:104-110 [Conf]
   
3. Tom Chen, Anneliese von Mayrhauser, Amjad Hajjar, Charles Anderson, Mehmet Sahinoglu
   How Much Testing is Enough? Applying Stopping Rules to Behavioral Model Testing. [Citation Graph (0, 0)][DBLP]
   HASE, 1999, pp:249-256 [Conf]
   
4. Anneliese von Mayrhauser, Andre Bai, Tom Chen, Charles Anderson, Amjad Hajjar
   Fast Antirandom (FAR) Test Generation. [Citation Graph (0, 0)][DBLP]
   HASE, 1998, pp:262-269 [Conf]
   
5. Tom Chen, Isabelle Munn, Anneliese von Mayrhauser, Amjad Hajjar
   Efficient Verification of Behavioral Models Using Sequential Sampling Technique. [Citation Graph (0, 0)][DBLP]
   VLSI, 1999, pp:398-406 [Conf]
   
6. Tom Chen, Amjad Hajjar
   Analyzing Statistical Timing Behavior of Coupled Interconnects Using Quadratic Delay Change Characteristics. [Citation Graph (0, 0)][DBLP]
   ISQED, 2003, pp:183-188 [Conf]
   
7. Tom Chen, Anneliese von Mayrhauser, Amjad Hajjar, Charles Anderson, Mehmet Sahinoglu
   Achieving the Quality of Verification for Behavioral Models with Minimum Effort. [Citation Graph (0, 0)][DBLP]
   ISQED, 2000, pp:234-0 [Conf]
   
8. Amjad Hajjar, Tom Chen
   Improving the Efficiency and Quality of Simulation-Based Behavioral Model Verification Using Dynamic Bayesian Criteria. [Citation Graph (0, 0)][DBLP]
   ISQED, 2002, pp:304-309 [Conf]
   
9. Amjad Hajjar, Tom Chen, Isabelle Munn, Anneliese Amschler Andrews, Maria Bjorkman
   Stopping Criteria Comparison: Towards High Quality Behavioral Verification. [Citation Graph (0, 0)][DBLP]
   ISQED, 2001, pp:31-37 [Conf]
   
10. Amjad Hajjar, Tom Chen
    VLSI Architecture for Real-Time Edge Linking. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Pattern Anal. Mach. Intell., 1999, v:21, n:1, pp:89-94 [Journal]
    
11. Tom Chen, Amjad Hajjar
    Statistical timing analysis of coupled interconnects using quadratic delay-change characteristics. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2004, v:23, n:12, pp:1677-1683 [Journal]