Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
rda_cataloging_for_e-resource_originals_of_umass_dissertations_and_theses [2014/09/04 08:18]
kdion created
rda_cataloging_for_e-resource_originals_of_umass_dissertations_and_theses [2020/10/14 15:29] (current)
mbanach
Line 1: Line 1:
 +====== PAGE OUTDATED ARCHIVED ======
 +
 ====== RDA Cataloging for E-Resource Originals of UMass Dissertations and Theses ====== ====== RDA Cataloging for E-Resource Originals of UMass Dissertations and Theses ======
  
Line 71: Line 73:
 | 506 0_   | | Open access. ​ [Or 506 1_ Restricted to the UMass community.] ​                 | | 506 0_   | | Open access. ​ [Or 506 1_ Restricted to the UMass community.] ​                 |
 |          | |                                                                               | |          | |                                                                               |
-| 538      | | Available online via Scholarworks at UMass Amherst.                                               ​| ​         | |                                                                               |+| 538      | | Available online ​in PDF format ​via Scholarworks at UMass Amherst ​             
 |          | |                                                                               | |          | |                                                                               |
-| 500      | | Degree in <program name> from the University of Massachusetts Amherst ​Department of <​department name> ​[NOTE:​ There must be a 710 access point for this department.] ​                       ​|+| 500      | | Degree in <program name> from the University of Massachusetts Amherst. ​       |
 |          | |                                                                               | |          | |                                                                               |
 | 504      | | Includes bibliographical references (pages <​nbr>​-<​nbr>​). ​                     | | 504      | | Includes bibliographical references (pages <​nbr>​-<​nbr>​). ​                     |
Line 84: Line 86:
 |          | |                                                                               | |          | |                                                                               |
 | 690      | | Theses $x <degree program> $x Doctoral. ​ [or Masters.] ​                       | | 690      | | Theses $x <degree program> $x Doctoral. ​ [or Masters.] ​                       |
 +|          | |                                                                               |
 +| 700 1_   | | <Name of advisor> $e degree supervisor. ​                           |
 |          | |                                                                               | |          | |                                                                               |
 | 710 2_   | | University of Massachusetts Amherst. $b <​Department name> [use authority record form of name] | | 710 2_   | | University of Massachusetts Amherst. $b <​Department name> [use authority record form of name] |
Line 104: Line 108:
 | 007      | | c $b r $d b $h a                                                                   | | 007      | | c $b r $d b $h a                                                                   |
 | 040      | | AUM $b eng $e rda $c AUM                                                           | | 040      | | AUM $b eng $e rda $c AUM                                                           |
-| 043      | | n-us--- ​                                                                           | 
 | 100 1_   | | Ahmad, Tariq Bashir, $d 1977- $e author. ​         | | 100 1_   | | Ahmad, Tariq Bashir, $d 1977- $e author. ​         |
 | 245 10   | | Parallel multi-core Verilog HDL simulation / $c by Tariq Bashir Ahmad. ​            | | 245 10   | | Parallel multi-core Verilog HDL simulation / $c by Tariq Bashir Ahmad. ​            |
Line 116: Line 119:
 | 502      | | $b Ph. D. $c University of Massachusetts Amherst $d 2014                           | | 502      | | $b Ph. D. $c University of Massachusetts Amherst $d 2014                           |
 | 506 0_   | | Open access. ​                                                                      | | 506 0_   | | Open access. ​                                                                      |
-| 538      | | Available online via Scholarworks at UMass Amherst. ​                                                   | +| 538      | | Available online ​in PDF format ​via Scholarworks at UMass Amherst. ​                                                   | 
-| 500      | | Degree in Electrical and Computer Engineering from the University of Massachusetts Amherst ​Department of Electrical & Computer Engineering.                                                  |+| 500      | | Degree in Electrical and Computer Engineering from the University of Massachusetts Amherst. ​                                                 |
 | 504      | | Includes bibliographical references (pages 333-352). ​                              | | 504      | | Includes bibliographical references (pages 333-352). ​                              |
 | 520 3_   | | In the era of multi-core computing, the push for creating true parallel applications that can run on individual CPUs is on the rise. Application of parallel discrete event simulation (PDES) to hardware design verification looks promising, given the complexity of today'​s hardware designs. Unfortunately,​ the challenges imposed by lack of inherent parallelism,​ suboptimal design partitioning,​ synchronization and communication overhead, and load balancing, render this approach largely ineffective. This thesis presents three techniques for accelerating simulation at three levels of abstraction namely, RTL, functional gate-level (zero-delay) and gate-level timing. We review contemporary solutions and then propose new ways of speeding up simulation at the three levels of abstraction. We demonstrate the effectiveness of the proposed approaches on several industrial hardware designs. ​                                                                                | | 520 3_   | | In the era of multi-core computing, the push for creating true parallel applications that can run on individual CPUs is on the rise. Application of parallel discrete event simulation (PDES) to hardware design verification looks promising, given the complexity of today'​s hardware designs. Unfortunately,​ the challenges imposed by lack of inherent parallelism,​ suboptimal design partitioning,​ synchronization and communication overhead, and load balancing, render this approach largely ineffective. This thesis presents three techniques for accelerating simulation at three levels of abstraction namely, RTL, functional gate-level (zero-delay) and gate-level timing. We review contemporary solutions and then propose new ways of speeding up simulation at the three levels of abstraction. We demonstrate the effectiveness of the proposed approaches on several industrial hardware designs. ​                                                                                |
Line 124: Line 127:
 | 650  0   | | Verilog (Computer hardware description language) ​                                  | | 650  0   | | Verilog (Computer hardware description language) ​                                  |
 | 690      | | Theses $x Electrical and Computer Engineering $x Doctoral. ​                        | | 690      | | Theses $x Electrical and Computer Engineering $x Doctoral. ​                        |
 +| 700 1    | | Ciesielski, Maciej, $e degree supervisor. ​                                         |
 | 710 2    | | University of Massachusetts Amherst. $b Department of Electrical & Computer Engineering.| | 710 2    | | University of Massachusetts Amherst. $b Department of Electrical & Computer Engineering.|
 | 710 2    | | University of Massachusetts Amherst, $e degree granting institution ​               | | 710 2    | | University of Massachusetts Amherst, $e degree granting institution ​               |
rda_cataloging_for_e-resource_originals_of_umass_dissertations_and_theses.1409833131.txt.gz · Last modified: 2019/01/07 12:20 (external edit)
[unknown link type]Back to top
www.chimeric.de Creative Commons License Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0