Search

This paper investigates the potential of leveraging artificial intelligence to automate and optimize the verification process, particularly in generating System Verilog assertions for an Advance Peripheral Bus verification environment using Universal Verification Methodology. Generative artificial intelligence, such as ChatGPT, demonstrated its ability to produce accurate and valuable assertions by employing text-based prompts and image-fed inputs, significantly reducing the required manual effort. This research presents a way of generating System Verilog assertions using the ChatGPT prompt, presenting an image to the Large Language Models, and requesting the assertions needed for the respective protocol. This approach shows the potential for artificial intelligence to revolutionize functional verification by automating complex tasks, ultimately ensuring faster and more reliable System-on-Chip development. The assertions generated by the Large Language Models are integrated into an existing Advance Peripheral Bus verification environment. This process involves running the assertions on a free EDA Playground platform with all three simulators (Cadence Incisive, Mentor Questa, and Synopsys Verilog Compiler Simulator). The main conclusions are that using ChatGPT-4.0 for generating System Verilog assertions significantly reduces the time and effort required for functional verification, demonstrating its potential to enhance efficiency and accuracy in verifying complex System-on-Chip designs. [ABSTRACT FROM AUTHOR]

This study focuses on the effects of harmine (H), an alkaloid derived from the Peganum harmala plant known to have harmful effects on rats' liver, kidneys, and oxidative stress. The study examines the preventive benefits of using ethanolic extract of Matricaria chamomilla (EEC). Six groups (n = 8) of rats were created. Group 1 (control); Group 2 received a single injection of H (40 mg/kg); Group 3 received EEC (200 mg/kg); Group 4 received EEC (500 mg/kg); Groups 5 and 6 received H (40 mg/kg) and EEC (200 mg/kg) or (500 mg/kg) for 21 days; all groups were subjected to stress via the forced swim test. According to the findings, H caused a rise in the weight of the body, liver, and kidneys, whereas EEC therapy showed a strong protective impact on organ weights. Furthermore, H treatment resulted in a marked rise in serum total cholesterol and malondialdehyde (MDA) levels, along with a marked fall in the liver and kidney's total antioxidant capacity and reduced glutathione (GSH) content. Furthermore, EEC treatment mitigated all the negative effects of H treatment. Microscopic examination of the liver and renal tissues along with these parameters was conducted. Nevertheless, the data did not demonstrate any appreciable alterations in organ morphology or structure following H and EEC therapy. Considering its potent anti-free radical activity against H-induced oxidative effects in the liver and kidney, it may be inferred that MC has a potential antioxidant effect. [ABSTRACT FROM AUTHOR]

In terms of structure of local authorities, we made an analysis of how the principle of sustainable development applies by highlighting the fact that it differs locally in structure and content from the overall development which shall be addressed at national level. Locally, we have identified disruptions that may adversely affect the implementation of sustainable development policies. It is about the existence of undue restrictions in allocating funds from the state budget. In most cases these restrictions have a political tint. Specifically, we stressed the requirements of sustainable development in Romania, consisting mainly of a responsible financial management and human resources management, towards meeting the needs of local people.

This article presents the benefits of marketing databases (MDB)and highlights its importance in analyzing and tracking the customers' direct responses using economic and mathematical models. Due to the continuously changing behavior of customers and the uncertain environment, our article will show that to satisfy customers and to obtain performance, the creation of MDB represents an essential step in efficiently communicating and improve marketing efficiency. This study also aims to investigate (using E-views and regression function) if, in this digital economy, there is a relationship between creating MDB and the ability of customers to work with the Internet, to order goods online and also if the organization can implement a marketing software. Finally, our research shows the importance of measuring the value of customers by implementing adequate models of analyzing the loyalty of the customers. [ABSTRACT FROM AUTHOR]

Copyright of Revue Valaque d'Etudes Economiques is the property of Valahia University of Targoviste and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)