Search

The hardware description of circuits usually contains many loops. Register Transfer Level (RTL) simulation is a critical step to verify the correctness of circuits and is time-consuming. Thus, it is necessary to speed up its process. However, the speedup of existing RTL simulation acceleration techniques is usually small. Although the speedup of hardware acceleration is large, the hardware cost is high. Some methods utilize performance models without performing RTL simulation to obtain rough simulation performance and have large speedup. However, they do not support functional verification. In order to address the problems, we propose a loop-oriented RTL simulation acceleration approach based on code instrumentation for designs synthesized by High-Level Synthesis. Our approach reduces the RTL simulation time by skipping a large number of repeated loop iterations, and maintains high accuracy for the prediction of the number of cycles by reserving some loop iterations. We establish a performance prediction model and an interval value formula for skipping loop iterations. We conduct experiments on the MachSuite benchmark. The results show that for the RTL simulation of single data processing and batch data processing, the average speedup of our approach can reach 7.49× and 43.3×, respectively, and the average prediction errors of the number of cycles are 1.71% and 1.06%, respectively. It also reveals that the interval value obtained by our approach for skipping loop iterations can quickly and effectively balance between the accuracy of prediction of the number of cycles and speedup. Compared to the state-of-the-art approach ESSENT, the speedup of our approach is better and the accuracy of prediction of the number of cycles remains at the same level as that of performance models.

Huilan Liu,* Huijuan Huang,* Boheng Li, Dong Wu, Fengmei Wang, Xiao hua Zheng, Qingxia Chen, Bifang Wu, Xiaojie FanDepartment of Obstetrics and Gynecology, East Hospital, Xiamen University, Fuzhou, Fujian, People’s Republic of China*These authors contributed equally to this workPurpose: The goal of this study was to investigate the anti-osteoporosis effect of extra virgin olive oil (EVOO) in vivo, and explore its antioxidant, anti-inflammatory properties in Sprague Dawley rats and its anticancer properties in patients.Materials and methods: A total of 120 healthy female Sprague Dawley rats aged 6 months were divided into four groups: 1) sham-operated control (Sham group, n=30); 2) ovariectomized (OVX group, n=30); 3) ovariectomized rats supplemented with EVOO (OVX + Olive, n=30); 4) ovariectomized rats supplemented with estrogen (OVX + E2, n=30). EVOO and estrogen were administered by oral gavage at a dose of 1 mL/100 g weight on a daily basis for 12 consecutive weeks. Twelve weeks later blood samples were obtained to detect the levels of calcium, alkaline phosphatase, phosphorus, interleukin-6 (IL-6), malonyldialdehyde (MDA), and nitrate content. Dual energy X-ray absorptiometer measured bone mineral density (BMD) of ovariectomized Sprague Dawley rats that had been fed olive oil for 3 months. Blood samples from patients, who regularly consumed olive oil over a 1 year period were also used to measure carbohydrate antigen 125, carcino-embryonic antigen, α-fetoprotein, and carbohydrate antigen 19-9 levels. BMD of lumbar spine and left femur was also evaluated by dual energy X-ray absorptiometry.Results: Animal experiments showed that EVOO significantly increased BMD and decreased phosphatase, alkaline phosphatase, IL-6, MDA, and nitrate levels. However, it had no significant effect on the Ca2+ level. In clinical follow-up, EVOO also improved patient BMD levels on L3, L4, and le