Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
rda_cataloging_for_e-resource_originals_of_umass_dissertations_and_theses [2014/09/04 14:38]
kdion
rda_cataloging_for_e-resource_originals_of_umass_dissertations_and_theses [2020/10/14 19: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 in PDF format 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 116: Line 120:
 | 506 0_   | | Open access. ​                                                                      | | 506 0_   | | Open access. ​                                                                      |
 | 538      | | Available online in PDF format 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 123: 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.1409841501.txt.gz · Last modified: 2019/01/07 17: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