Functional verification: approaches and challenges

It's a fact that functional verification (FV) is paramount within the hardware's design cycle. With so many new techniques available today to help with FV, which techniques should we really use? The answer is not straightforward and is often confusing and costly. The tools and techniques to be used in a project have to be decided upon early in the design cycle to get the best value for these new verification methods. This paper gives a quick survey in the form of an overview on FV, establishes the difference between verification and validation, describes the bottlenecks that appear in the verification process, examines the challenges in FV and exposes the current FV technologies and trends.

Biogas innovation processes and innovation system: lessons from Davao del Sur, Philippines

This paper examines biogas innovation system and processes in two farming communities in Davao del Sur, Philippines. Innovation histories were traced through workshops, semi-structured interviews, observations and document analysis. The paper shows that there were diverse innovation actors both from public and private sectors. Restrictive attitudes and practices resulted in weak and limited interactions among actors. Multi-actor interaction was weak, signifying a lack of innovation actors that focus on creating, developing and strengthening linkages, networks and partnerships. The lack of support in the socio-organisational institutions that constitute the enabling environment within which innovation actors operate may lead to systemic failure.