The objective of this study was to verify the effect of active and passive recovery on blood lactate concentration and power performance. Twelve male subjects were submitted to a maximal strength test in the the bench press, a maximal aerobic test in the bench step, and to four sets of bench press exercise performed as fast and as long as possible, using 80% of maximal strength when active or p...

PURPOSE Allometric modeling (AM) has been used to determine the world's strongest body mass-adjusted man. Recently, however, AM was shown to demonstrate body mass bias in elite Olympic weightlifting performance. A second order polynomial (2OP) provided a better fit than AM with no body mass bias for men and women. The purpose of this study was to apply both AM and 2OP models to women's world po...

Many circuit designs need to follow some temporal rules. However, it is hard to express and verify them in the past. Therefore, a temporal assertion extension to Verilog, called Temporal Wizard, is proposed in this paper. It provides several Verilog system tasks for the users to write assertions in testbench directly. Two new concepts, tag and thread, are also introduced so that data can be ass...

BFMs Outshine Virtual Interfaces for Advanced SystemVerilog Testbenches

This study investigated whether loads for assistance exercises of the upper body can be predicted from the loads of the bench press exercise. Twenty-nine physically active collegiate students (age: 22.6 ± 2.5; weight training experience: 2.9 ± 2.1 years; estimated 1RM bench press: 54.31 ± 14.60 kg; 1RM: body weight ratio: 0.80 ± 0.22; BMI: 22.7 ± 2.1 kg·m(-2)) were recruited. The 6RM loads for ...

This paper aims to demystify the performance of SystemVerilog and UVM testbenches when using an emulator for the purpose of hardware-assisted testbench acceleration. Architectural and modeling requirements are described, followed by a recommended systematic approach for maximizing overall testbench acceleration speed-up and achieving your ultimate performance expectations.

This work proposes a validation methodology to siliconprove a set of logic cells generated by software. It also presents an approach for the automatic design of testbenches to validate the cells in the set.

Collusion is covert co-operation between participants of a game. It poses serious technical, game design, and communal problems to multiplayer games that do not allow the players to share knowledge or resources with other players. In this paper, we review different types of collusion and introduce two measures for collusion detection. We also propose a model and a simple game, implemented in a ...

The paper describes a reuse methodology, which ease the creation of testbenches. In our approach, beside providing a library of precompiled basic functions and entities, the designer receives descriptions of complete test concepts (e.g. macro-oriented stimulation or comparison of two simulations), including a source code example, called template, and a guide for the adaption of the template to ...